REBOOT_VECTOR
SYSVEC(REBOOT_VECTOR, reboot),
DECLARE_IDTENTRY_SYSVEC(REBOOT_VECTOR, sysvec_reboot);
INTG(REBOOT_VECTOR, asm_sysvec_reboot),
apic_send_IPI_allbutself(REBOOT_VECTOR);