|
@@ -3905,7 +3905,7 @@ static void fix_rmode_seg(int seg, struct kvm_segment *save)
|
|
|
}
|
|
|
|
|
|
vmcs_write16(sf->selector, var.selector);
|
|
|
- vmcs_write32(sf->base, var.base);
|
|
|
+ vmcs_writel(sf->base, var.base);
|
|
|
vmcs_write32(sf->limit, var.limit);
|
|
|
vmcs_write32(sf->ar_bytes, vmx_segment_access_rights(&var));
|
|
|
}
|
|
@@ -8270,7 +8270,7 @@ static void kvm_flush_pml_buffers(struct kvm *kvm)
|
|
|
static void vmx_dump_sel(char *name, uint32_t sel)
|
|
|
{
|
|
|
pr_err("%s sel=0x%04x, attr=0x%05x, limit=0x%08x, base=0x%016lx\n",
|
|
|
- name, vmcs_read32(sel),
|
|
|
+ name, vmcs_read16(sel),
|
|
|
vmcs_read32(sel + GUEST_ES_AR_BYTES - GUEST_ES_SELECTOR),
|
|
|
vmcs_read32(sel + GUEST_ES_LIMIT - GUEST_ES_SELECTOR),
|
|
|
vmcs_readl(sel + GUEST_ES_BASE - GUEST_ES_SELECTOR));
|