Searched refs:par_el1 (Results 1 – 3 of 3) sorted by relevance
223 hypctx->par_el1 = READ_SPECIALREG(par_el1); in vmm_hyp_reg_store()320 WRITE_SPECIALREG(par_el1, hypctx->par_el1); in vmm_hyp_reg_restore()
70 set_arch_unknown(el2ctx->par_el1); in reset_vm_el01_regs()
70 uint64_t par_el1; /* Physical Address Register */ member