Searched refs:platform_halt (Results 1 – 5 of 5) sorted by relevance
38 extern void platform_halt (void);
27 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
530 platform_halt(); in machine_halt()