do_kexec          172 arch/mips/kernel/machine_kexec.c 	void (*do_kexec)(void) __noreturn;
do_kexec          204 arch/mips/kernel/machine_kexec.c 	do_kexec = (void *)reboot_code_buffer;
do_kexec          205 arch/mips/kernel/machine_kexec.c 	do_kexec();