Searched refs:platform_halt (Results 1 – 5 of 5) sorted by relevance
40 extern void platform_halt (void);
45 void platform_halt(void) in platform_halt() function
49 void platform_halt(void) in platform_halt() function
39 void platform_halt(void) in platform_halt() function
567 platform_halt(); in machine_halt()
