4 void __firstrun_start() {
6 puts("Current USB state is: ");
7 puthex(pci_read16(0, 31, 2, 0xC0));
9 puthex(pci_read16(0, 31, 4, 0xC0));
11 puts("Current SMI state is: ");
14 puts("Current SMRAMC state is: ");
15 puthex(pci_read8(0, 0, 0, 0x70));
19 /* Try really hard to shut up USB_LEGKEY. */
20 pci_write16(0, 31, 2, 0xC0, pci_read16(0, 31, 2, 0xC0));
21 pci_write16(0, 31, 2, 0xC0, 0);
22 pci_write16(0, 31, 4, 0xC0, pci_read16(0, 31, 4, 0xC0));
23 pci_write16(0, 31, 4, 0xC0, 0);
25 /* Turn on the SMIs we want */
26 outb(0x830, inb(0x830) | 0x41);