nx_owner_ticket_t Struct Reference

Stable control identity; never dereference a stale request pointer. More...

#include <bus_owner.h>

Data Fields
size_t	slot
uint64_t	epoch

Detailed Description

Stable control identity; never dereference a stale request pointer.

Definition at line 61 of file bus_owner.h.

Field Documentation

epoch

uint64_t nx_owner_ticket_t::epoch

Definition at line 63 of file bus_owner.h.

slot

size_t nx_owner_ticket_t::slot

Definition at line 62 of file bus_owner.h.

---

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

• components/bus_owner/include/nexus/components/bus_owner.h