Searched refs:maxphysaddr (Results 1 – 8 of 8) sorted by relevance
664 p->extd.maxphysaddr = min(p->extd.maxphysaddr, max->extd.maxphysaddr); in recalculate_cpuid_policy()665 p->extd.maxphysaddr = min_t(uint8_t, p->extd.maxphysaddr, in recalculate_cpuid_policy()667 p->extd.maxphysaddr = max_t(uint8_t, p->extd.maxphysaddr, in recalculate_cpuid_policy()
130 (cr3 >> v->domain->arch.cpuid->extd.maxphysaddr))) ) in svm_vmcb_isvalid()
260 uint8_t maxphysaddr, maxlinaddr, :8, :8; member
386 return !(gfn_x(gfn) >> (d->arch.cpuid->extd.maxphysaddr - PAGE_SHIFT)); in gfn_valid()
291 ~((1ul << v->domain->arch.cpuid->extd.maxphysaddr) - 1)) | in guest_rsvd_bits()
189 policy is important and should be levelled (e.g. maxphysaddr).
471 phys_addr = d->arch.cpuid->extd.maxphysaddr; in mtrr_var_range_msr_set()
1051 if ( ctxt.cr3 >> d->arch.cpuid->extd.maxphysaddr ) in hvm_load_cpu_ctxt()2373 if ( value >> currd->arch.cpuid->extd.maxphysaddr ) in hvm_set_cr3()4710 uint64_t max_phys_addr = (1UL << d->arch.cpuid->extd.maxphysaddr) - 1; in do_altp2m_op()
Completed in 24 milliseconds