l4cpu_reserve_utcb_elem_t Struct Reference

Data Fields
unsigned long long	type:2
unsigned long long	id:6
unsigned long long	release:56
unsigned long long	left:32

---

Detailed Description

Definition at line 17 of file utcb_stat.h.

---

Field Documentation

unsigned long long l4cpu_reserve_utcb_elem_t::type

Definition at line 18 of file utcb_stat.h.

Referenced by print_sched_event(), and watch_eval_utcbs().

unsigned long long l4cpu_reserve_utcb_elem_t::id

Definition at line 19 of file utcb_stat.h.

Referenced by print_sched_event(), and watch_eval_utcbs().

unsigned long long l4cpu_reserve_utcb_elem_t::release

Definition at line 20 of file utcb_stat.h.

Referenced by print_sched_event(), and watch_eval_utcbs().

unsigned long long l4cpu_reserve_utcb_elem_t::left

Definition at line 21 of file utcb_stat.h.

Referenced by print_sched_event(), and watch_eval_utcbs().

---

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

• utcb_stat.h