Searched refs:platform_halt (Results 1 – 5 of 5) sorted by relevance
40 extern void platform_halt (void);
40 void platform_halt(void) in platform_halt() function
44 void platform_halt(void) in platform_halt() function
35 void platform_halt(void) in platform_halt() function
562 platform_halt(); in machine_halt()
