crycbd_o          287 arch/s390/kvm/vsie.c 	const uint32_t crycbd_o = READ_ONCE(scb_o->crycbd);
crycbd_o          288 arch/s390/kvm/vsie.c 	const u32 crycb_addr = crycbd_o & 0x7ffffff8U;
crycbd_o          295 arch/s390/kvm/vsie.c 	int fmt_o = crycbd_o & CRYCB_FORMAT_MASK;