Searched refs:x86_get_idt (Results 1 - 3 of 3) sorted by relevance

/u-boot/arch/x86/include/asm/
H A Dinterrupt.h72 void *x86_get_idt(void);
/u-boot/arch/x86/cpu/i386/
H A Dinterrupt.c236 void *x86_get_idt(void) function
/u-boot/arch/x86/cpu/
H A Dmp_init.c350 params->idt_ptr = (uint32_t)x86_get_idt();

Completed in 93 milliseconds