Searched refs:vgic_v3_dispatch_sgi (Results 1 - 3 of 3) sorted by relevance

/linux-master/include/kvm/
H A Darm_vgic.h404 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1);
/linux-master/arch/arm64/kvm/vgic/
H A Dvgic-mmio-v3.c1043 * vgic_v3_dispatch_sgi - handle SGI requests from VCPUs
1058 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1) function
/linux-master/arch/arm64/kvm/
H A Dsys_regs.c465 vgic_v3_dispatch_sgi(vcpu, p->regval, g1);

Completed in 139 milliseconds