sysrq_key         271 drivers/xen/manage.c 	char sysrq_key = '\0';
sysrq_key         279 drivers/xen/manage.c 	err = xenbus_scanf(xbt, "control", "sysrq", "%c", &sysrq_key);
sysrq_key         295 drivers/xen/manage.c 	if (sysrq_key != '\0') {
sysrq_key         309 drivers/xen/manage.c 	if (sysrq_key != '\0')
sysrq_key         310 drivers/xen/manage.c 		handle_sysrq(sysrq_key);