PCI: make pcie_get_readrq visible in pci.h
[firewire-audio.git] / include / asm-i386 / mce.h
blobd56d89742e8fdcd0bfd96ccd1ff83292eea0bc99
1 #ifdef CONFIG_X86_MCE
2 extern void mcheck_init(struct cpuinfo_x86 *c);
3 #else
4 #define mcheck_init(c) do {} while(0)
5 #endif
7 extern int mce_disabled;
9 extern void stop_mce(void);
10 extern void restart_mce(void);