Functions to manipulate the local IDT

Data Structures
struct	l4util_idt_desc_t
	IDT entry. More...
struct	l4util_idt_header_t
	Header of an IDT table. More...
Functions
static void	l4util_idt_entry (l4util_idt_header_t *idt, int nr, void(*handler)(void))
	Create an IDT entry.
static void	l4util_idt_init (l4util_idt_header_t *idt, int entries)
	Initializes an IDT.
static void	l4util_idt_load (l4util_idt_header_t *idt)
	Set IDT table for the current thread.

---

Function Documentation

static void l4util_idt_entry	(	l4util_idt_header_t *	idt,
		int	nr,
		void(*)(void)	handler
	)			[inline, static]

Create an IDT entry.

Parameters:

	idt	pointer to idt table header
	nr	# of exception vector
	handler	exception handler

Definition at line 47 of file ARCH-amd64/idt.h.

Referenced by l4util_idt_init().

static void l4util_idt_init	(	l4util_idt_header_t *	idt,
		int	entries
	)			[inline, static]

Initializes an IDT.

Parameters:

	idt	pointer to idt table header
	entries	# of of exception entries to hold by the idt table

Definition at line 59 of file ARCH-amd64/idt.h.

References l4util_idt_header_t::base, l4util_idt_header_t::desc, l4util_idt_entry(), and l4util_idt_header_t::limit.

static void l4util_idt_load

(

l4util_idt_header_t *

idt

)

[inline, static]

Set IDT table for the current thread.

Parameters:

idt

pointer to idt table header

Definition at line 73 of file ARCH-amd64/idt.h.