Strangely enough, when I look for it online, I find 8086:122D for the TSC/TDP unit, while Bochs uses 8086:0122 instead? Which one is correct? Linux seems to not recognise the 8086:0122 one?
So both according to LInux and https://pci-ids.ucw.cz/pci.ids, the 122D one should be correct(and Bochs would be incorrect)?
Linux says 122D: https://github.com/torvalds/linux/blob/master … linux/pci_ids.h
And the non-preliminary version from datasheetPDF.com ( https://datasheetspdf.com/pdf-file/525393/Intel/82438FX/1 ) says it's 122D?
Bochs says 0122 as well?
http://www.allcomponents.ru/intel/82437fx.htm says 122D as well?
Edit: The first result from https://www.datasheetarchive.com/?q=1996+-+SB82437FX66 seems to match 122D as well? It seems to be a second revision of the previous TSC/TDP updates? So it really is 122D?