+ outb(0x80, counter);
+
+ strcpy(thestr, "15-412!");
+
+ smramc = pci_read8(0, 0, 0, 0x70);
+ pci_write8(0, 0, 0, 0x70, (smramc & 0xF3) | 0x08);
+ strblit(thestr);
+ pci_write8(0, 0, 0, 0x70, smramc);
+
+ outl(0xCF8, pcisave);
+ outb(0x3D4, vgasave);
+
+ outb(0x834, 0x40); // ack the periodic IRQ
+ outb(0x830, (inb(0x830) | 0x2) & ~0x40);
+ outb(0x830, inb(0x830) | 0x40);
+