Searched defs:cnthctl_el2 (Results 1 – 4 of 4) sorted by relevance
| /freebsd-src/sys/arm64/vmm/io/ | ||
| H A D | vtimer.h | 41 uint64_t cnthctl_el2; member |
| H A D | vtimer.c | 114 vtimer_init(uint64_t cnthctl_el2) in vtimer_init() argument |
| /freebsd-src/sys/arm64/vmm/ | ||
| H A D | vmm_hyp.c | 475 uint64_t ich_hcr_el2, ich_vmcr_el2, cnthctl_el2, cntkctl_el1; vmm_hyp_call_guest() local |
| H A D | vmm_arm64.c | 237 uint64_t cnthctl_el2; vmmops_modinit() local |