Searched refs:x86_get_idt (Results 1 – 3 of 3) sorted by relevance
63 void *x86_get_idt(void);
217 void *x86_get_idt(void) in x86_get_idt() function
243 params->idt_ptr = (uint32_t)x86_get_idt(); in load_sipi_vector()