AMD_OSVW_ERRATUM 1112 arch/x86/kernel/cpu/amd.c 	AMD_OSVW_ERRATUM(1, AMD_MODEL_RANGE(0xf, 0x41, 0x2, 0xff, 0xf),
AMD_OSVW_ERRATUM 1116 arch/x86/kernel/cpu/amd.c 	AMD_OSVW_ERRATUM(3, AMD_MODEL_RANGE(0x10, 0, 0, 0xff, 0xf));