Bool xf86EnableIO() { alpha_pci_io_enable(1); return TRUE; }
void xf86DisableIO() { alpha_pci_io_enable(0); }
void xf86EnableIO() { alpha_pci_io_enable(1); }