KVM_REQ_VGIC_PROCESS_UPDATE
if (kvm_check_request(KVM_REQ_VGIC_PROCESS_UPDATE, vcpu))
kvm_make_request(KVM_REQ_VGIC_PROCESS_UPDATE, target_vcpu);