void beat_kexec_cpu_down(int crash, int secondary) { beatic_deinit_IRQ(); }
static void celleb_kexec_cpu_down(int crash, int secondary) { beatic_deinit_IRQ(); }