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);