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