#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 static void pcideadlock(void){ msr_t msr; msr = rdmsr(CPU_DM_CONFIG0); msr.hi &= ~(7<