Searched refs:vc_handler (Results 1 – 1 of 1) sorted by relevance
27 void startup_64_load_idt(void *vc_handler) in startup_64_load_idt() argument37 if (vc_handler) { in startup_64_load_idt()38 init_idt_data(&data, X86_TRAP_VC, vc_handler); in startup_64_load_idt()