Searched refs:reset_vm_el2_regs (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/arm64/vmm/ | ||
| H A D | vmm_reset.c | 112 reset_vm_el2_regs(void *vcpu) in reset_vm_el2_regs() function |
| H A D | vmm_arm64.c | 555 reset_vm_el2_regs(hypctx); in vmmops_vcpu_init() |