l4_intrid_t Union Reference
[Unique ids]

L4 interrupt id. More...

#include <types.h>

Data Fields
l4_intrid_struct_t	id
	Interrupt id struct.

---

Detailed Description

L4 interrupt id.

Definition at line 68 of file ARCH-x86/L4API-l4v2/types.h.

---

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

• ARCH-x86/L4API-l4v2/types.h