Searched refs:vtimer_init (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/arm64/vmm/io/ | ||
| H A D | vtimer.c | 114 vtimer_init(uint64_t cnthctl_el2) in vtimer_init() function |
| /freebsd/sys/arm64/vmm/ | ||
| H A D | vmm_arm64.c | 450 vtimer_init(cnthctl_el2); in vmmops_modinit() |