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));