enablePCI
void enablePCI(int, int, int, int);
enablePCI(slot, 0, 1, 1);
enablePCI(slot, 1, 1, 0); /* Enable IO and Memory */
void enablePCI(int, int, int, int);
enablePCI(slot, 0, 1, 1);