8 return pci_read32(0, 31, 0, 0x40) & 0xFF80;
13 unsigned short smi_en = _get_PMBASE() + 0x30;
14 outl(smi_en, inl(smi_en) & ~0x0001);
19 unsigned short smi_en = _get_PMBASE() + 0x30;
20 outl(smi_en, inl(smi_en) | 0x0001);
23 unsigned long smi_status()
25 unsigned short smi_sts = _get_PMBASE() + 0x34;