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