Home
last modified time | relevance | path

Searched refs:vpidr_el2 (Results 1 – 4 of 4) sorted by relevance

/freebsd/sys/arm64/vmm/
H A Dvmm_reset.c162 el2ctx->vpidr_el2 = CPU_IMPL_TO_MIDR(CPU_IMPL_ARM); in reset_vm_el2_regs()
163 el2ctx->vpidr_el2 |= CPU_VAR_TO_MIDR(0); in reset_vm_el2_regs()
164 el2ctx->vpidr_el2 |= CPU_ARCH_TO_MIDR(0xf); in reset_vm_el2_regs()
165 el2ctx->vpidr_el2 |= CPU_PART_TO_MIDR(CPU_PART_FOUNDATION); in reset_vm_el2_regs()
166 el2ctx->vpidr_el2 |= CPU_REV_TO_MIDR(0); in reset_vm_el2_regs()
H A Dvmm_hyp.c260 hypctx->vpidr_el2 = READ_SPECIALREG(vpidr_el2); in vmm_hyp_reg_store()
309 WRITE_SPECIALREG(vpidr_el2, hypctx->vpidr_el2); in vmm_hyp_reg_restore()
H A Darm64.h98 uint64_t vpidr_el2; /* Virtualization Processor ID Register */ member
/freebsd/sys/arm64/arm64/
H A Dlocore.S357 msr vpidr_el2, x2