Home
last modified time | relevance | path

Searched refs:vtimer_cpuinit (Results 1 – 5 of 5) sorted by relevance

/freebsd/sys/riscv/vmm/
H A Dvmm_vtimer.h44 void vtimer_cpuinit(struct hypctx *hypctx);
H A Dvmm_vtimer.c66 vtimer_cpuinit(struct hypctx *hypctx) in vtimer_cpuinit() function
H A Dvmm_riscv.c235 vtimer_cpuinit(hypctx); in vmmops_vcpu_init()
/freebsd/sys/arm64/vmm/io/
H A Dvtimer.c176 vtimer_cpuinit(struct hypctx *hypctx) in vtimer_cpuinit() function
/freebsd/sys/arm64/vmm/
H A Dvmm_arm64.c557 vtimer_cpuinit(hypctx); in vmmops_vcpu_init()