+
+ outl(0x848, 0x1000);
+ outl(0x840, 0x0100);
+}
+
+void timer_handler(smi_event_t ev)
+{
+ static unsigned int ticks = 0;
+
+ smi_disable_event(SMI_EVENT_FAST_TIMER);
+ smi_enable_event(SMI_EVENT_FAST_TIMER);
+
+ outb(0x80, (ticks++) & 0xFF);
+
+ outlog();
+}
+
+void kbc_handler(smi_event_t ev)
+{
+ pci_dump();
+}
+
+void gbl_rls_handler(smi_event_t ev)
+{
+ unsigned long ecx;
+
+ ecx = *(unsigned char*)0xAFFD4;
+ dologf("ECX was %08x", ecx);
+ *(unsigned long*)0xAFFD4 = 0x2BADD00D;