Symbol: vexpress_reset_do
drivers/power/reset/vexpress-poweroff.c
35
vexpress_reset_do(vexpress_power_off_device, "power off");
drivers/power/reset/vexpress-poweroff.c
43
vexpress_reset_do(vexpress_restart_device, "restart");