Searched refs:MAXPHYADDR (Results 1 – 1 of 1) sorted by relevance
17 #define MAXPHYADDR 36 macro66 vcpu_set_cpuid_maxphyaddr(vcpu, MAXPHYADDR); in main()83 *pte |= BIT_ULL(MAXPHYADDR); in main()