Searched refs:vgic_v3_cpuinit (Results 1 – 1 of 1) sorted by relevance
465 vgic_v3_cpuinit(device_t dev, struct hypctx *hypctx) in vgic_v3_cpuinit() function2333 DEVMETHOD(vgic_cpuinit, vgic_v3_cpuinit),