Searched refs:VM_MODE_PXXV48_4K (Results 1 – 6 of 6) sorted by relevance
47 VM_MODE_PXXV48_4K, /* For 48bits VA but ANY bits PA */ enumerator54 #define VM_MODE_DEFAULT VM_MODE_PXXV48_4K
231 TEST_ASSERT(vm->mode == VM_MODE_PXXV48_4K, "Attempt to use " in virt_pgd_alloc()264 TEST_ASSERT(vm->mode == VM_MODE_PXXV48_4K, "Attempt to use " in virt_pg_map()551 TEST_ASSERT(vm->mode == VM_MODE_PXXV48_4K, "Attempt to use " in addr_gva2gpa()625 case VM_MODE_PXXV48_4K: in vcpu_setup()
398 TEST_ASSERT(vm->mode == VM_MODE_PXXV48_4K, "Attempt to use " in nested_pg_map()
448 vm_guest_mode_params_init(VM_MODE_PXXV48_4K, true, true); in main()
267 case VM_MODE_PXXV48_4K: in aarch64_vcpu_setup()
191 case VM_MODE_PXXV48_4K: in _vm_create()