bool_t mtrr_var_range_msr_set(
struct domain *d, struct mtrr_state *m, uint32_t msr, uint64_t msr_content)
{
- uint32_t index, phys_addr, eax;
+ uint32_t index, phys_addr;
uint64_t msr_mask;
uint64_t *var_range_base = (uint64_t*)m->var_ranges;
if ( d == current->domain )
{
- phys_addr = 36;
- hvm_cpuid(0x80000000, &eax, NULL, NULL, NULL);
- if ( (eax >> 16) == 0x8000 && eax >= 0x80000008 )
- {
- hvm_cpuid(0x80000008, &eax, NULL, NULL, NULL);
- phys_addr = (uint8_t)eax;
- }
+ struct cpuid_leaf res;
+
+ guest_cpuid(current, 0x80000008, 0, &res);
+ phys_addr = (uint8_t)res.a ?: 36;
}
else
phys_addr = paddr_bits;