Searched refs:platform_halt (Results 1 – 5 of 5) sorted by relevance
40 extern void platform_halt (void);
41 void platform_halt(void) in platform_halt() function
49 void platform_halt(void) in platform_halt() function
37 void platform_halt(void) in platform_halt() function
566 platform_halt(); in machine_halt()