-/*
- puts("Current USB state is: ");
- puthex(pci_read16(0, 31, 2, 0xC0));
- puts(" ");
- puthex(pci_read16(0, 31, 4, 0xC0));
- puts("\n");
- puts("Current SMI state is: ");
- puthex(inl(0x830));
- puts("\n");
- puts("Current SMRAMC state is: ");
- puthex(pci_read8(0, 0, 0, 0x70));
- puts("\n");
-*/