Home
last modified time | relevance | path

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

/freebsd/sys/riscv/vmm/
H A Dvmm_vtimer.h44 void vtimer_cpuinit(struct hypctx *hypctx);
H A Dvmm_vtimer.c68 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.h65 void vtimer_cpuinit(struct hypctx *);
H A Dvtimer.c136 vtimer_cpuinit(struct hypctx *hypctx) in vtimer_cpuinit() function
/freebsd/sys/arm64/vmm/
H A Dvmm_arm64.c585 vtimer_cpuinit(hypctx); in vmmops_vcpu_init()