+ dologf("Got packet: type %08x", packet->type);
+
+ if (packet->type == 42) {
+ dump_log((char *)packet->data);
+ *(unsigned long*)0xAFFD4 = 42;
+ } else if (packet->type == 0xAA) {
+ kbd_inject_key('A');
+ } else {
+ *(unsigned long*)0xAFFD4 = 0x2BADD00D;
+ }
+}
+
+void smi_entry(void)
+{
+ char statstr[512];
+
+ pcisave = inl(0xCF8);
+ vgasave = inb(0x3D4);
+ pci_unbother_all();
+