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