Symbol: vgic_vminit
sys/arm64/vmm/io/vgic.h
41
void vgic_vminit(struct hyp *hyp);
sys/arm64/vmm/io/vgic_v3.c
2332
DEVMETHOD(vgic_vminit, vgic_v3_vminit),
sys/arm64/vmm/vmm_arm64.c
543
vgic_vminit(hyp);