Symbol: vgic_inject_msi
sys/arm64/vmm/io/vgic.h
48
int vgic_inject_msi(struct hyp *hyp, uint64_t msg, uint64_t addr);
sys/arm64/vmm/io/vgic_v3.c
2339
DEVMETHOD(vgic_inject_msi, vgic_v3_inject_msi),
sys/arm64/vmm/vmm.c
854
return (vgic_inject_msi(vm->cookie, msg, addr));