STP_OP_CTRL       521 arch/s390/kernel/time.c 	rc = chsc_sstpc(stp_page, STP_OP_CTRL, 0x0000, NULL);
STP_OP_CTRL       652 arch/s390/kernel/time.c 		chsc_sstpc(stp_page, STP_OP_CTRL, 0x0000, NULL);
STP_OP_CTRL       657 arch/s390/kernel/time.c 	rc = chsc_sstpc(stp_page, STP_OP_CTRL, 0xb0e0, NULL);