MSR_IA32_MCG_CAP_REGISTER McgCap;\r
UINT32 BankIndex;\r
\r
- if (State == TRUE) {\r
+ if (State) {\r
McgCap.Uint64 = AsmReadMsr64 (MSR_IA32_MCG_CAP);\r
for (BankIndex = 0; BankIndex < (UINT32) McgCap.Bits.Count; BankIndex++) {\r
CPU_REGISTER_TABLE_WRITE64 (\r