Searched refs:startup_64_load_idt (Results 1 – 1 of 1) 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()