set_idt            37 arch/x86/kernel/machine_kexec_32.c static void set_idt(void *newidt, __u16 limit)
set_idt           118 arch/x86/kernel/machine_kexec_64.c static void set_idt(void *newidt, u16 limit)