restok            201 drivers/s390/cio/chsc.h 	u64 restok;
restok            248 drivers/s390/cio/scm.c 		token = scm_info->restok;