3 #include <video_defines.h>
6 #include <pci-bother.h>
8 #include "../net/net.h"
9 #include "vga-overlay.h"
11 unsigned int counter = 0;
12 unsigned long pcisave = 0;
13 unsigned char vgasave = 0;
27 sprintf(statstr, "NetWatch! %08x %08x", smi_status(), counter);
29 strblit(statstr, 0, 0);
40 if (inl(0x840) & 0x1000)
58 extern void timer_handler(smi_event_t ev);
59 extern void kbc_handler(smi_event_t ev);
60 extern void gbl_rls_handler(smi_event_t ev);
62 void __firstrun_stub() {
64 /* Try really hard to shut up USB_LEGKEY. */
65 pci_write16(0, 31, 2, 0xC0, pci_read16(0, 31, 2, 0xC0));
66 pci_write16(0, 31, 2, 0xC0, 0);
67 pci_write16(0, 31, 4, 0xC0, pci_read16(0, 31, 4, 0xC0));
68 pci_write16(0, 31, 4, 0xC0, 0);
70 /* Turn on the SMIs we want */
73 smi_register_handler(SMI_EVENT_FAST_TIMER, timer_handler);
74 smi_enable_event(SMI_EVENT_FAST_TIMER);
76 smi_register_handler(SMI_EVENT_DEVTRAP_KBC, kbc_handler);
77 smi_enable_event(SMI_EVENT_DEVTRAP_KBC);
79 smi_register_handler(SMI_EVENT_GBL_RLS, gbl_rls_handler);
80 smi_enable_event(SMI_EVENT_GBL_RLS);