Searched refs:rtas_system_reboot (Results 1 – 1 of 1) sorted by relevance
83 static void rtas_system_reboot(PowerPCCPU *cpu, SpaprMachineState *spapr, in rtas_system_reboot() function636 rtas_system_reboot); in core_rtas_register_types()