sanchayanmaity/gem5
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

x86: Make the boot state VMX compliant

Browse source 
This patch allows the default x86 state to be used when by CPUs that
use hardware virtualization.
This commit is contained in:
Andreas Sandberg 2013-06-18 16:27:28 +02:00
parent 5d584934ad
commit 688fc7f71f
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/arch/x86/system.cc
View file

@ -163,7 +163,7 @@ X86System::initState()
csDesc.g = 1; // Page granularity
csDesc.s = 1; // Not a system segment
csDesc.limitHigh = 0xF;
csDesc.limitLow = 0xFF;
csDesc.limitLow = 0xFFFF;
//Because we're dealing with a pointer and I don't think it's
//guaranteed that there isn't anything in a nonvirtual class between
//it's beginning in memory and it's actual data, we'll use an
@ -190,7 +190,7 @@ X86System::initState()
dsDesc.g = 1; // Page granularity
dsDesc.s = 1; // Not a system segment
dsDesc.limitHigh = 0xF;
dsDesc.limitLow = 0xFF;
dsDesc.limitLow = 0xFFFF;
uint64_t dsDescVal = dsDesc;
physProxy.writeBlob(GDTBase + numGDTEntries * 8,
(uint8_t *)(&dsDescVal), 8);
@ -216,9 +216,9 @@ X86System::initState()
tssDesc.p = 1; // Present
tssDesc.d = 1; // default operand size
tssDesc.g = 1; // Page granularity
tssDesc.s = 1; // Not a system segment
tssDesc.s = 0;
tssDesc.limitHigh = 0xF;
tssDesc.limitLow = 0xFF;
tssDesc.limitLow = 0xFFFF;
uint64_t tssDescVal = tssDesc;
physProxy.writeBlob(GDTBase + numGDTEntries * 8,
(uint8_t *)(&tssDescVal), 8);