+void pci_dump() {
+ unsigned long cts;
+
+ cts = inl(0x84C);
+
+ outl(0x840, 0x0);
+ outl(0x848, 0x0);
+ switch(cts&0xF0000)
+ {
+ case 0x20000:
+ {
+ unsigned char b;
+
+ switch (cts & 0xFFFF)
+ {
+ case 0x64:
+ /* Read the real hardware and mask in our OBF if need be. */
+ b = inb(0x64);
+ if (kbd_has_injected_scancode())
+ {
+ dologf("OS wants to know; we have data");
+ lastctr = counter;
+ b |= 0x01;
+ b &= ~0x20; /* no mouse for you! */
+ curdev = 0;
+ } else
+ curdev = (b & 0x20) ? 1 : 0;
+ *(unsigned char*)0xAFFD0 /* EAX */ = b;
+ break;
+ case 0x60:
+ if (kbd_has_injected_scancode())
+ {
+ b = kbd_get_injected_scancode();
+ lastctr = counter;
+ while (inb(0x64) & 0x1)
+ inb(0x60);
+ } else
+ b = inb(0x60);
+ if ((curdev == 0) && (b == 0x01)) { /* Escape */
+ outb(0xCF9, 0x4); /* Reboot */
+ return;
+ }
+
+ /* If there is more nus to come, generate another IRQ. */
+ if (kbd_has_injected_scancode())
+ cause_kbd_irq();
+
+ *(unsigned char*)0xAFFD0 /* EAX */ = b;
+ break;
+ }
+
+ *(unsigned char*)0xAFFD0 /* EAX */ = b;
+ break;
+ }
+ case 0x30000:
+ {
+ unsigned char b;
+
+ b = *(unsigned char*)0xAFFD0 /* EAX */;
+ dologf("WRITE: %08x (%02x)", cts, b);
+ outb(cts & 0xFFFF, b);
+ break;
+ }
+ default:
+ dolog("Unhandled PCI cycle");
+ }
+
+ outl(0x840, 0x0);
+ outl(0x844, 0x1000);
+ outl(0x848, 0x1000);
+}
+
+void timer_handler(smi_event_t ev)