608     enum vm_reg_name gpr, uint64_t *gla, int *fault)  in get_gla()  argument
629 	    addrsize, prot, gla)) {  in get_gla()
637 	if (vie_canonical_check(paging->cpu_mode, *gla)) {  in get_gla()
645 	if (vie_alignment_check(paging->cpl, opsize, cr0, rflags, *gla)) {  in get_gla()
1483 vie_alignment_check(int cpl, int size, uint64_t cr0, uint64_t rf, uint64_t gla)  in vie_alignment_check()  argument
1492 	return ((gla & (size - 1)) ? 1 : 0);  in vie_alignment_check()
1496 vie_canonical_check(enum vm_cpu_mode cpu_mode, uint64_t gla)  in vie_canonical_check()  argument
1508 	if (gla & (1UL << 47))  in vie_canonical_check()
1509 		return ((gla & mask) != mask);  in vie_canonical_check()
1511 		return ((gla & mask) != 0);  in vie_canonical_check()
1525     int prot, uint64_t *gla)  in vie_calculate_gla()  argument
1628 	*gla = (segbase + firstoff) & vie_size2mask(glasize);  in vie_calculate_gla()
1691     uint64_t gla, int prot, uint64_t *gpa, int *guest_fault)  in vm_gla2gpa()  argument
1712 	if (vie_canonical_check(paging->cpu_mode, gla)) {  in vm_gla2gpa()
1722 		*gpa = gla;  in vm_gla2gpa()
1739 			ptpindex = (gla >> ptpshift) & 0x3FF;  in vm_gla2gpa()
1749 				vm_inject_pf(vm, vcpuid, pfcode, gla);  in vm_gla2gpa()
1784 		*gpa = pte32 | (gla & (pgsize - 1));  in vm_gla2gpa()
1797 		ptpindex = (gla >> 30) & 0x3;  in vm_gla2gpa()
1803 			vm_inject_pf(vm, vcpuid, pfcode, gla);  in vm_gla2gpa()
1821 		ptpindex = (gla >> ptpshift) & 0x1FF;  in vm_gla2gpa()
1830 			vm_inject_pf(vm, vcpuid, pfcode, gla);  in vm_gla2gpa()
1845 				vm_inject_pf(vm, vcpuid, pfcode, gla);  in vm_gla2gpa()
1862 	*gpa = pte | (gla & (pgsize - 1));  in vm_gla2gpa()
2324 verify_gla(struct vm *vm, int cpuid, uint64_t gla, struct vie *vie,  in verify_gla()  argument
2333 	if (gla == VIE_INVALID_GLA)  in verify_gla()
2399 	if (gla != gla2) {  in verify_gla()
2404 		       gla, gla2);  in verify_gla()
2412 vmm_decode_instruction(struct vm *vm, int cpuid, uint64_t gla,  in vmm_decode_instruction()  argument
2438 		if (verify_gla(vm, cpuid, gla, vie, cpu_mode))  in vmm_decode_instruction()