return ArmSystem::haveLPAE(tc) && ttbcr.eae;
}
-MiscReg
+RegVal
readMPIDR(ArmSystem *arm_sys, ThreadContext *tc)
{
CPSR cpsr = tc->readMiscReg(MISCREG_CPSR);
}
}
-MiscReg
+RegVal
getMPIDR(ArmSystem *arm_sys, ThreadContext *tc)
{
// Multiprocessor Affinity Register MPIDR from Cortex(tm)-A15 Technical
/** This helper function is either returing the value of
* MPIDR_EL1 (by calling getMPIDR), or it is issuing a read
* to VMPIDR_EL2 (as it happens in virtualized systems) */
-MiscReg readMPIDR(ArmSystem *arm_sys, ThreadContext *tc);
+RegVal readMPIDR(ArmSystem *arm_sys, ThreadContext *tc);
/** This helper function is returing the value of MPIDR_EL1 */
-MiscReg getMPIDR(ArmSystem *arm_sys, ThreadContext *tc);
+RegVal getMPIDR(ArmSystem *arm_sys, ThreadContext *tc);
static inline uint32_t
mcrMrcIssBuild(bool isRead, uint32_t crm, IntRegIndex rt, uint32_t crn,