20#include <l4/sys/l4int.h>
55 idt->desc[nr].a = (
l4_uint64_t)handler & 0x0000ffff;
56 idt->desc[nr].
b = 0x0000ef00 | ((
l4_uint64_t)handler & 0xffff0000);
67 idt->
limit = entries*8 - 1;
68 idt->
base = &idt->desc;
70 for (i=0; i<entries; i++)
71 l4util_idt_entry(idt, i, 0);
80 asm volatile (
"lidt (%%rax) \n\t" : :
"a" (idt));
L4 compiler related defines.
unsigned short int l4_uint16_t
Unsigned 16bit value.
unsigned long long l4_uint64_t
Unsigned 64bit value.
#define EXTERN_C_BEGIN
Start section with C types and functions.
#define EXTERN_C_END
End section with C types and functions.
l4_uint64_t b
see Intel doc