Searched refs:idt_invalidate (Results 1 – 4 of 4) sorted by relevance
235 idt_invalidate(phys_to_virt(0)); in machine_kexec()
336 void idt_invalidate(void *addr) in idt_invalidate() function
673 idt_invalidate(NULL); in native_machine_emergency_restart()
430 extern void idt_invalidate(void *addr);