__new_prefix 442 arch/s390/kvm/vsie.c const uint32_t __new_prefix = scb_o->prefix; __new_prefix 443 arch/s390/kvm/vsie.c const uint32_t new_prefix = READ_ONCE(__new_prefix);