Searched refs:KVM_REQ_RELOAD_GICv4 (Results 1 – 3 of 3) sorted by relevance
47 #define KVM_REQ_RELOAD_GICv4 KVM_ARCH_REQ(4) macro
138 kvm_make_all_cpus_request(vcpu->kvm, KVM_REQ_RELOAD_GICv4); in vgic_mmio_write_v3_misc()
730 if (kvm_check_request(KVM_REQ_RELOAD_GICv4, vcpu)) { in check_vcpu_requests()