l4cpu_reserve_utcb_t Struct Reference

Data Fields
l4_utcb_t	utcb
l4_uint16_t	head
l4_uint16_t	tail
l4_uint16_t	full
l4_uint16_t	dummy
l4_uint64_t	release
l4cpu_reserve_utcb_elem_t	stat [L4CPU_RESERVE_UTCB_STAT_COUNT]

---

Detailed Description

Definition at line 25 of file utcb_stat.h.

---

Field Documentation

l4_utcb_t l4cpu_reserve_utcb_t::utcb

Definition at line 26 of file utcb_stat.h.

l4_uint16_t l4cpu_reserve_utcb_t::head

Definition at line 27 of file utcb_stat.h.

Referenced by watch_eval_utcbs().

l4_uint16_t l4cpu_reserve_utcb_t::tail

Definition at line 27 of file utcb_stat.h.

Referenced by watch_eval_utcbs().

l4_uint16_t l4cpu_reserve_utcb_t::full

Definition at line 27 of file utcb_stat.h.

Referenced by watch_eval_utcbs().

l4_uint16_t l4cpu_reserve_utcb_t::dummy

Definition at line 27 of file utcb_stat.h.

l4_uint64_t l4cpu_reserve_utcb_t::release

Definition at line 28 of file utcb_stat.h.

l4cpu_reserve_utcb_elem_t l4cpu_reserve_utcb_t::stat[L4CPU_RESERVE_UTCB_STAT_COUNT]

Definition at line 29 of file utcb_stat.h.

Referenced by watch_eval_utcbs().

---

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

• utcb_stat.h