Searched refs:guest_maxphyaddr (Results 1 – 1 of 1) sorted by relevance
1255 uint8_t maxphyaddr, guest_maxphyaddr; in vm_compute_max_gfn() local1263 guest_maxphyaddr = kvm_cpu_property(X86_PROPERTY_GUEST_MAX_PHY_ADDR); in vm_compute_max_gfn()1264 guest_maxphyaddr = guest_maxphyaddr ?: vm->pa_bits; in vm_compute_max_gfn()1265 TEST_ASSERT(guest_maxphyaddr <= vm->pa_bits, in vm_compute_max_gfn()1268 max_gfn = (1ULL << (guest_maxphyaddr - vm->page_shift)) - 1; in vm_compute_max_gfn()