Symbol: KVM_REQ_RELOAD_GICv4
arch/arm64/kvm/arm.c
1102
if (kvm_check_request(KVM_REQ_RELOAD_GICv4, vcpu)) {
arch/arm64/kvm/vgic/vgic-mmio-v3.c
155
kvm_make_all_cpus_request(vcpu->kvm, KVM_REQ_RELOAD_GICv4);