602 	struct vm_guest_paging *paging;  in arm64_gen_inst_emul_data()  local
624 	paging = &vme_ret->u.inst_emul.paging;  in arm64_gen_inst_emul_data()
625 	paging->ttbr0_addr = hypctx->ttbr0_el1 & ~(TTBR_ASID_MASK | TTBR_CnP);  in arm64_gen_inst_emul_data()
626 	paging->ttbr1_addr = hypctx->ttbr1_el1 & ~(TTBR_ASID_MASK | TTBR_CnP);  in arm64_gen_inst_emul_data()
627 	paging->tcr_el1 = hypctx->tcr_el1;  in arm64_gen_inst_emul_data()
628 	paging->tcr2_el1 = hypctx->tcr2_el1;  in arm64_gen_inst_emul_data()
629 	paging->flags = hypctx->tf.tf_spsr & (PSR_M_MASK | PSR_M_32);  in arm64_gen_inst_emul_data()
631 		paging->flags |= VM_GP_MMU_ENABLED;  in arm64_gen_inst_emul_data()
739 				vme_ret->u.paging.esr = hypctx->tf.tf_esr;  in handle_el1_sync_excp()
740 				vme_ret->u.paging.gpa = gpa;  in handle_el1_sync_excp()
839 vmmops_gla2gpa(void *vcpui, struct vm_guest_paging *paging, uint64_t gla,  in vmmops_gla2gpa()  argument
849 	if ((paging->flags & VM_GP_MMU_ENABLED) == 0) {  in vmmops_gla2gpa()
855 	is_el0 = (paging->flags & PSR_M_MASK) == PSR_M_EL0t;  in vmmops_gla2gpa()
859 		if ((paging->tcr_el1 & TCR_EPD1) != 0) {  in vmmops_gla2gpa()
863 		if (is_el0 && (paging->tcr_el1 & TCR_E0PD1) != 0) {  in vmmops_gla2gpa()
867 		pte_addr = paging->ttbr1_addr;  in vmmops_gla2gpa()
868 		tsz = (paging->tcr_el1 & TCR_T1SZ_MASK) >> TCR_T1SZ_SHIFT;  in vmmops_gla2gpa()
870 		if ((paging->tcr_el1 & TCR_TBI1) != 0)  in vmmops_gla2gpa()
872 		switch (paging->tcr_el1 & TCR_TG1_MASK) {  in vmmops_gla2gpa()
888 		if ((paging->tcr_el1 & TCR_EPD0) != 0) {  in vmmops_gla2gpa()
892 		if (is_el0 && (paging->tcr_el1 & TCR_E0PD0) != 0) {  in vmmops_gla2gpa()
896 		pte_addr = paging->ttbr0_addr;  in vmmops_gla2gpa()
897 		tsz = (paging->tcr_el1 & TCR_T0SZ_MASK) >> TCR_T0SZ_SHIFT;  in vmmops_gla2gpa()
899 		if ((paging->tcr_el1 & TCR_TBI0) != 0)  in vmmops_gla2gpa()
901 		switch (paging->tcr_el1 & TCR_TG0_MASK) {  in vmmops_gla2gpa()