Searched refs:platform_halt (Results 1 – 5 of 5) sorted by relevance
38 extern void platform_halt (void);
26 void platform_halt(void) in platform_halt() function
44 void platform_halt(void) in platform_halt() function
36 void platform_halt(void) in platform_halt() function
570 platform_halt(); in machine_halt()