Searched refs:MAXPHYADDR (Results 1 – 1 of 1) sorted by relevance
14 #define MAXPHYADDR 36 macro59 vcpu_set_cpuid_property(vcpu, X86_PROPERTY_MAX_PHY_ADDR, MAXPHYADDR); in main()75 *vm_get_pte(vm, MEM_REGION_GVA) |= BIT_ULL(MAXPHYADDR); in main()