Searched refs:startup_64_load_idt (Results 1 – 2 of 2) sorted by relevance
27 void startup_64_load_idt(void *vc_handler) in startup_64_load_idt() function70 startup_64_load_idt(handler); in startup_64_setup_gdt_idt()
55 extern void startup_64_load_idt(void *vc_handler);