MSR_AMD64_IC_CFG  493 arch/x86/kernel/amd_nb.c 	msr_set_bit(MSR_AMD64_IC_CFG, 3);
MSR_AMD64_IC_CFG  494 arch/x86/kernel/amd_nb.c 	msr_set_bit(MSR_AMD64_IC_CFG, 14);