5 void __firstrun_start() {
 
   7         puts("Current USB state is: ");
 
   8         puthex(pci_read16(0, 31, 2, 0xC0));
 
  10         puthex(pci_read16(0, 31, 4, 0xC0));
 
  12         puts("Current SMI state is: ");
 
  15         puts("Current SMRAMC state is: ");
 
  16         puthex(pci_read8(0, 0, 0, 0x70));
 
  20         /* Try really hard to shut up USB_LEGKEY. */
 
  21         pci_write16(0, 31, 2, 0xC0, pci_read16(0, 31, 2, 0xC0));
 
  22         pci_write16(0, 31, 2, 0xC0, 0);
 
  23         pci_write16(0, 31, 4, 0xC0, pci_read16(0, 31, 4, 0xC0));
 
  24         pci_write16(0, 31, 4, 0xC0, 0);
 
  26         /* Turn on the SMIs we want */
 
  27         outb(0x830, inb(0x830) | 0x40);