#include <minilib.h>
#include <smi.h>
#include "vga-overlay.h"
+#include "packet.h"
unsigned int counter = 0;
unsigned long pcisave;
outlog();
}
+void kbc_handler(smi_event_t ev)
+{
+ pci_dump();
+}
+
+void gbl_rls_handler(smi_event_t ev)
+{
+ unsigned long ecx;
+
+ ecx = *(unsigned long*)0xAFFD4;
+
+ packet_t * packet = check_packet(ecx);
+ if (!packet)
+ {
+ dologf("WARN: bad packet at %08x", ecx);
+ return;
+ }
+
+ dologf("Got packet: type %08x", packet->type);
+
+ if (packet->type == 42) {
+ dump_log((char *)packet->data);
+ *(unsigned long*)0xAFFD4 = 42;
+ } else {
+ *(unsigned long*)0xAFFD4 = 0x2BADD00D;
+ }
+}
+
void smi_entry(void)
{
char statstr[512];
sprintf(statstr, "15-412! %08x %08x", smi_status(), counter);
strblit(statstr, 0, 0);
- if (inl(0x834) & 0x1000)
- {
- if (inl(0x844) & 0x1000) /* devact_sts */
- {
- pci_dump();
- outl(0x844, 0x1000); /* ack it */
- }
- }
if (inl(0x840) & 0x1000)
{
pci_dump();