nx_clock_lease Struct Reference

One stable caller-owned consumer token. More...

#include <clock_domain.h>

Data Fields
nx_clock_domain_t *	owner
struct nx_clock_lease *	next
uint64_t	epoch

Detailed Description

One stable caller-owned consumer token.

Note

Zero-initialize before first acquisition. On SUCCESS the provider borrows this exact object; do not copy, mutate or reclaim it until release succeeds. Internal fields are not application controls. A release is the provider's final access, not proof that a peripheral has stopped. Release only after that consumer's IRQ, DMA and observer drain.

Definition at line 26 of file clock_domain.h.

Field Documentation

epoch

uint64_t nx_clock_lease::epoch

Definition at line 29 of file clock_domain.h.

next

struct nx_clock_lease* nx_clock_lease::next

Definition at line 28 of file clock_domain.h.

owner

nx_clock_domain_t* nx_clock_lease::owner

Definition at line 27 of file clock_domain.h.

---

The documentation for this struct was generated from the following file:

• components/clock_domain/include/nexus/components/clock_domain.h