4 #include <reg-82801b.h>
5 #include "vga-overlay.h"
7 void __firstrun_start() {
8 dologf("NetWatch running");
10 /* Try really hard to shut up USB_LEGKEY. */
11 pci_write16(0, 31, 2, 0xC0, pci_read16(0, 31, 2, 0xC0));
12 pci_write16(0, 31, 2, 0xC0, 0);
13 pci_write16(0, 31, 4, 0xC0, pci_read16(0, 31, 4, 0xC0));
14 pci_write16(0, 31, 4, 0xC0, 0);
16 /* Turn on the SMIs we want */
17 outb(0x830, inb(0x830) | ICH2_SMI_EN_SWSMI_TMR_EN);
18 outb(0x848, ICH2_DEVTRAP_EN_KBC_TRP_EN);