diff options
Diffstat (limited to 'src/arch/x86/types.cc')
| -rw-r--r-- | src/arch/x86/types.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/arch/x86/types.cc b/src/arch/x86/types.cc index a960205b5..59f8b91de 100644 --- a/src/arch/x86/types.cc +++ b/src/arch/x86/types.cc @@ -41,6 +41,7 @@ paramOut(CheckpointOut &cp, const string &name, ExtMachInst const &machInst) // Prefixes paramOut(cp, name + ".legacy", (uint8_t)machInst.legacy); paramOut(cp, name + ".rex", (uint8_t)machInst.rex); + paramOut(cp, name + ".vex", (uint32_t)machInst.vex); // Opcode paramOut(cp, name + ".opcode.type", (uint8_t)machInst.opcode.type); @@ -75,6 +76,10 @@ paramIn(CheckpointIn &cp, const string &name, ExtMachInst &machInst) paramIn(cp, name + ".rex", temp8); machInst.rex = temp8; + uint32_t temp32; + paramIn(cp, name + ".vex", temp32); + machInst.vex = temp32; + // Opcode paramIn(cp, name + ".opcode.type", temp8); machInst.opcode.type = (OpcodeType)temp8; |