l4util_idt_header_t Struct Reference

Header of an IDT table. More...

#include <idt.h>

Collaboration diagram for l4util_idt_header_t:

Data Fields
l4_uint16_t	limit
	limit field (see Intel doc)
void *	base
	idt base (see Intel doc)

Detailed Description

Header of an IDT table.

Definition at line 40 of file idt.h.

---

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

• amd64/l4/util/idt.h
• x86/l4/util/idt.h