cpu_halt
cpu_halt();
cpu_halt();
void cpu_halt(void) __attribute__((__noreturn__));
void cpu_halt(void);
void cpu_halt(void);
void cpu_halt(void);
void (*cpu_halt)(void); /* Cpu dependent halt call */
.cpu_halt = ka410_halt,
.cpu_halt = ka43_halt,
.cpu_halt = ka46_halt,
.cpu_halt = ka48_halt,
.cpu_halt = ka49_halt,
.cpu_halt = generic_halt,
.cpu_halt = ka610_halt,
.cpu_halt = ka630_halt,
.cpu_halt = ka650_halt,
.cpu_halt = generic_halt,
.cpu_halt = generic_halt,
.cpu_halt = generic_halt,
if (dep_call->cpu_halt)
(*dep_call->cpu_halt) ();