KVM_REQ_RELOAD_GICv4
if (kvm_check_request(KVM_REQ_RELOAD_GICv4, vcpu)) {
kvm_make_all_cpus_request(vcpu->kvm, KVM_REQ_RELOAD_GICv4);