+ 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);