Home
last modified time | relevance | path

Searched refs:handler_addr (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/arch/x86/32/kernel/
A Dvspace.c184 uint32_t handler_addr = (uint32_t)handler; in init_idt_entry() local
192 handler_addr >> 16, /* offset_high */ in init_idt_entry()
197 handler_addr & 0xffff /* offset_low */ in init_idt_entry()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c454 uint64_t handler_addr = (uint64_t)handler; in init_idt_entry() local
462 handler_addr >> 32, /* offset 63 - 32 */ in init_idt_entry()
463 ((handler_addr >> 16) & 0xffff), in init_idt_entry()
468 (handler_addr & 0xffff) /* offset 15 - 0 */ in init_idt_entry()

Completed in 8 milliseconds