Symbol: startup_64_load_idt
arch/x86/boot/startup/gdt_idt.c
70
startup_64_load_idt(handler);
arch/x86/include/asm/setup.h
55
extern void startup_64_load_idt(void *vc_handler);