Searched refs:MSR_MC0_CTL (Results 1 – 2 of 2) sorted by relevance
374 if ((uint32_t)ECX >= MSR_MC0_CTL in helper_wrmsr()375 && (uint32_t)ECX < MSR_MC0_CTL + (4 * env->mcg_cap & 0xff)) { in helper_wrmsr()376 uint32_t offset = (uint32_t)ECX - MSR_MC0_CTL; in helper_wrmsr()504 if ((uint32_t)ECX >= MSR_MC0_CTL in helper_rdmsr()505 && (uint32_t)ECX < MSR_MC0_CTL + (4 * env->mcg_cap & 0xff)) { in helper_rdmsr()506 uint32_t offset = (uint32_t)ECX - MSR_MC0_CTL; in helper_rdmsr()
359 #define MSR_MC0_CTL 0x400 macro