vgic_v3_dispatch_sgi (reference) in projects: linux-6.12.1

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

/linux-6.12.1/include/kvm/
D	arm_vgic.h	`404 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1);`
/linux-6.12.1/arch/arm64/kvm/vgic/
D	vgic-mmio-v3.c	`1069 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg, bool allow_group1) in vgic_v3_dispatch_sgi() function`
/linux-6.12.1/arch/arm64/kvm/
D	sys_regs.c	`479 vgic_v3_dispatch_sgi(vcpu, p->regval, g1); in access_gic_sgi()`