void vexpress_power_off(void) { vexpress_reset_do(vexpress_power_off_device, "power off"); }
void vexpress_restart(char str, const char *cmd) { vexpress_reset_do(vexpress_restart_device, "restart"); }
static void vexpress_restart(enum reboot_mode reboot_mode, const char *cmd) { vexpress_reset_do(vexpress_restart_device, "restart"); }