REBOOT_VECTOR      18 arch/x86/include/asm/entry_arch.h BUILD_INTERRUPT(reboot_interrupt, REBOOT_VECTOR)
REBOOT_VECTOR     116 arch/x86/kernel/idt.c 	INTG(REBOOT_VECTOR,		reboot_interrupt),
REBOOT_VECTOR     178 arch/x86/kernel/smp.c 		apic_send_IPI_allbutself(REBOOT_VECTOR);