Symbol: vgic_init
sys/arm64/vmm/io/vgic.h
38
void vgic_init(void);
sys/arm64/vmm/io/vgic_v3.c
2329
DEVMETHOD(vgic_init, vgic_v3_init),
sys/arm64/vmm/vmm_arm64.c
443
vgic_init();