icp_cpu_halt 103 kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h extern void icp_cpu_halt(void); icp_cpu_halt 69 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c icp_cpu_halt,