#include #include #include #include #include #include #include #include #include #include #include #include #if 0 void bug645(void) { msr_t msr; rdmsr(CPU_ID_CONFIG); msr.whatever |= ID_CONFIG_SERIAL_SET; wrmsr(msr); } void bug573(void) { msr_t msr; msr = rdmsr(MC_GLD_MSR_PM); msr.eax &= 0xfff3; wrmsr(MC_GLD_MSR_PM); } #endif /* pcideadlock * * Bugtool #465 and #609 * PCI cache deadlock * There is also fix code in cache and PCI functions. This bug is very is pervasive. */ static void pcideadlock(void) { msr_t msr; /* forces serialization of all load misses. Setting this bit prevents the * DM pipe from backing up if a read request has to be held up waiting * for PCI writes to complete. */ msr = rdmsr(CPU_DM_CONFIG0); msr.hi &= ~(7<