Searched refs:VM_MODE_PXXV48_4K (Results 1 – 5 of 5) sorted by relevance
46 VM_MODE_PXXV48_4K, /* For 48bits VA but ANY bits PA */ enumerator60 #define VM_MODE_DEFAULT VM_MODE_PXXV48_4K
179 TEST_ASSERT(vm->mode == VM_MODE_PXXV48_4K, "Attempt to use " in virt_pgd_alloc()238 TEST_ASSERT(vm->mode == VM_MODE_PXXV48_4K, in __virt_pg_map()313 TEST_ASSERT(vm->mode == VM_MODE_PXXV48_4K, "Attempt to use " in _vm_get_page_table_entry()564 TEST_ASSERT(vm->mode == VM_MODE_PXXV48_4K, "Attempt to use " in addr_gva2gpa()633 case VM_MODE_PXXV48_4K: in vcpu_setup()
401 TEST_ASSERT(vm->mode == VM_MODE_PXXV48_4K, "Attempt to use " in nested_pg_map()
244 case VM_MODE_PXXV48_4K: in aarch64_vcpu_setup()
177 [VM_MODE_PXXV48_4K] = "PA-bits:ANY, VA-bits:48, 4K pages", in vm_guest_mode_string()265 case VM_MODE_PXXV48_4K: in vm_create()