Searched refs:vc_handler (Results 1 – 2 of 2) 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()
55 extern void startup_64_load_idt(void *vc_handler);56 extern void __pi_startup_64_load_idt(void *vc_handler);