void grub_halt (void) { /* Not standarized. We try both known commands. */ grub_ieee1275_interpret ("shut-down", 0); grub_ieee1275_interpret ("power-off", 0); }
void grub_halt (void) { /* Not standardized. We try three known commands. */ grub_ieee1275_interpret ("power-off", 0); grub_ieee1275_interpret ("shut-down", 0); grub_ieee1275_interpret ("poweroff", 0); while (1); }
void grub_reboot (void) { grub_ieee1275_interpret ("reset-all", 0); }