KVM_REQ_MAP_L1_VNCR_EL2
kvm_make_request(KVM_REQ_MAP_L1_VNCR_EL2, vcpu);
if (kvm_check_request(KVM_REQ_MAP_L1_VNCR_EL2, vcpu))