Searched refs:vgic_v3_cpucleanup (Results 1 – 1 of 1) sorted by relevance
537 vgic_v3_cpucleanup(device_t dev, struct hypctx *hypctx) in vgic_v3_cpucleanup() function2333 DEVMETHOD(vgic_cpucleanup, vgic_v3_cpucleanup),