vexpress_restart_device   38 drivers/power/reset/vexpress-poweroff.c static struct device *vexpress_restart_device;
vexpress_restart_device   43 drivers/power/reset/vexpress-poweroff.c 	vexpress_reset_do(vexpress_restart_device, "restart");
vexpress_restart_device   56 drivers/power/reset/vexpress-poweroff.c 	return sprintf(buf, "%d\n", vexpress_restart_device == dev);
vexpress_restart_device   66 drivers/power/reset/vexpress-poweroff.c 		vexpress_restart_device = dev;
vexpress_restart_device   95 drivers/power/reset/vexpress-poweroff.c 	vexpress_restart_device = dev;
vexpress_restart_device  130 drivers/power/reset/vexpress-poweroff.c 		if (!vexpress_restart_device)