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