Commit b0f15a5d authored by Liu, Jinsong's avatar Liu, Jinsong Committed by Paolo Bonzini
Browse files

target-i386: bugfix of Intel MPX



The correct size of cpuid 0x0d sub-leaf 4 is 0x40, not 0x10.
This is confirmed by Anvin H Peter and Mallick Asit K.

Signed-off-by: default avatarLiu Jinsong <jinsong.liu@intel.com>
Cc: H. Peter Anvin <hpa@zytor.com>
Cc: Asit K Mallick <asit.k.mallick@intel.com>
Signed-off-by: default avatarPaolo Bonzini <pbonzini@redhat.com>

Signed-off-by: default avatarLiu, Jinsong <jinsong.liu@intel.com>
parent f9a49dfa
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -339,7 +339,7 @@ static const ExtSaveArea ext_save_areas[] = {
    [3] = { .feature = FEAT_7_0_EBX, .bits = CPUID_7_0_EBX_MPX,
            .offset = 0x3c0, .size = 0x40  },
    [4] = { .feature = FEAT_7_0_EBX, .bits = CPUID_7_0_EBX_MPX,
            .offset = 0x400, .size = 0x10  },
            .offset = 0x400, .size = 0x40  },
};

const char *get_register_name_32(unsigned int reg)