_wrmsr
extern void _wrmsr(u32 msr, u32 hi, u32 lo);
_wrmsr(GLCP_MSR_REG(GLCP_SOFT_COM), hi, lo);
_wrmsr(GLIU_MSR_REG(GLIU_PAE), hi, lo);
_wrmsr(SB_MSR_REG(SB_ERROR), hi, lo);
_wrmsr(GLCP_MSR_REG(GLCP_SOFT_COM), hi, lo);
_wrmsr(GLIU_MSR_REG(GLIU_IOD_BM1), hi, lo);
_wrmsr(DIVIL_MSR_REG(PIC_YSEL_LOW), hi, lo);
_wrmsr(GLCP_MSR_REG(GLCP_SOFT_COM), hi, lo);
_wrmsr(USB_MSR_REG(USB_EHCI), hi, lo);
_wrmsr(SB_MSR_REG(SB_ERROR), hi, lo);
_wrmsr(GLCP_MSR_REG(GLCP_SOFT_COM), hi, lo);
_wrmsr(USB_MSR_REG(USB_EHCI), hi, lo);
_wrmsr(GLIU_MSR_REG(GLIU_P2D_BM4), hi, lo);
_wrmsr(USB_MSR_REG(USB_EHCI), hi, lo);
_wrmsr(USB_MSR_REG(USB_EHCI), hi, lo);
_wrmsr(GLCP_MSR_REG(GLCP_SOFT_COM), hi, lo);
_wrmsr(GLIU_MSR_REG(GLIU_PAE), hi, lo);
_wrmsr(SB_MSR_REG(SB_ERROR), hi, lo);
_wrmsr(SB_MSR_REG(SB_CTRL), hi, lo);
_wrmsr(GLCP_MSR_REG(GLCP_SOFT_COM), hi, lo);
_wrmsr(IDE_MSR_REG(IDE_IO_BAR), hi, lo);
_wrmsr(GLIU_MSR_REG(GLIU_IOD_BM2), hi, lo);
_wrmsr(DIVIL_MSR_REG(DIVIL_BALL_OPTS), hi, lo);
_wrmsr(IDE_MSR_REG(IDE_CFG), hi, lo);
_wrmsr(IDE_MSR_REG(IDE_DTC), hi, lo);
_wrmsr(IDE_MSR_REG(IDE_CAST), hi, lo);
_wrmsr(IDE_MSR_REG(IDE_ETC), hi, lo);
_wrmsr(IDE_MSR_REG(IDE_INTERNAL_PM), hi, lo);
_wrmsr(sb_msr_reg[n], hi, lo);
_wrmsr(GLCP_MSR_REG(GLCP_SOFT_COM), hi, lo);
_wrmsr(SB_MSR_REG(SB_ERROR), hi, lo);
_wrmsr(SB_MSR_REG(SB_CTRL), hi, lo);
_wrmsr(DIVIL_MSR_REG(PIC_YSEL_HIGH), hi, lo);
_wrmsr(DIVIL_MSR_REG(PIC_YSEL_HIGH), hi, lo);
_wrmsr(SB_MSR_REG(SB_ERROR), hi, lo);
_wrmsr(DIVIL_MSR_REG(offset), hi, lo);
_wrmsr(DIVIL_MSR_REG(offset), hi, lo);
_wrmsr(GLCP_MSR_REG(GLCP_SOFT_COM), hi, lo);
_wrmsr(divil_msr_reg[n], hi, lo);
_wrmsr(DIVIL_MSR_REG(MFGPT_IRQ), 0, 0x100);
_wrmsr(DIVIL_MSR_REG(PIC_ZSEL_LOW), 0, 0x50000);
_wrmsr(GLCP_MSR_REG(GLCP_SOFT_COM), hi, lo);
_wrmsr(USB_MSR_REG(USB_OHCI), hi, lo);
_wrmsr(SB_MSR_REG(SB_ERROR), hi, lo);
_wrmsr(GLCP_MSR_REG(GLCP_SOFT_COM), hi, lo);
_wrmsr(USB_MSR_REG(USB_OHCI), hi, lo);
_wrmsr(GLIU_MSR_REG(GLIU_P2D_BM3), hi, lo);
_wrmsr(DIVIL_MSR_REG(PIC_YSEL_LOW), hi, lo);
_wrmsr(DIVIL_MSR_REG(DIVIL_SOFT_RESET), hi, lo);
_wrmsr(USB_MSR_REG(USB_CONFIG), (1 << 1) | (1 << 3), lo);
EXPORT_SYMBOL(_wrmsr);