Lines Matching defs:paging
603 struct vm_guest_paging *paging;
625 paging = &vme_ret->u.inst_emul.paging;
626 paging->ttbr0_addr = hypctx->ttbr0_el1 & ~(TTBR_ASID_MASK | TTBR_CnP);
627 paging->ttbr1_addr = hypctx->ttbr1_el1 & ~(TTBR_ASID_MASK | TTBR_CnP);
628 paging->tcr_el1 = hypctx->tcr_el1;
629 paging->tcr2_el1 = hypctx->tcr2_el1;
630 paging->flags = hypctx->tf.tf_spsr & (PSR_M_MASK | PSR_M_32);
632 paging->flags |= VM_GP_MMU_ENABLED;
740 vme_ret->u.paging.esr = hypctx->tf.tf_esr;
741 vme_ret->u.paging.gpa = gpa;
840 vmmops_gla2gpa(void *vcpui, struct vm_guest_paging *paging, uint64_t gla,
850 if ((paging->flags & VM_GP_MMU_ENABLED) == 0) {
856 is_el0 = (paging->flags & PSR_M_MASK) == PSR_M_EL0t;
860 if ((paging->tcr_el1 & TCR_EPD1) != 0) {
864 if (is_el0 && (paging->tcr_el1 & TCR_E0PD1) != 0) {
868 pte_addr = paging->ttbr1_addr;
869 tsz = (paging->tcr_el1 & TCR_T1SZ_MASK) >> TCR_T1SZ_SHIFT;
871 if ((paging->tcr_el1 & TCR_TBI1) != 0)
873 switch (paging->tcr_el1 & TCR_TG1_MASK) {
889 if ((paging->tcr_el1 & TCR_EPD0) != 0) {
893 if (is_el0 && (paging->tcr_el1 & TCR_E0PD0) != 0) {
897 pte_addr = paging->ttbr0_addr;
898 tsz = (paging->tcr_el1 & TCR_T0SZ_MASK) >> TCR_T0SZ_SHIFT;
900 if ((paging->tcr_el1 & TCR_TBI0) != 0)
902 switch (paging->tcr_el1 & TCR_TG0_MASK) {