6 unsigned char thestr[512];
 
   8 void memcpy(char *dst, char *src, int c)
 
  14 void strcpy(char *dst, char *src)
 
  20 unsigned char vgaread(unsigned char idx)
 
  26 void strblit(char *src)
 
  28         char *destp = (char*)(0xB8000 | (vgaread(0xC) << 5) | (vgaread(0xD) << 1));
 
  31                 *(destp++) = *(src++);
 
  46         strcpy(thestr, "15-412!");
 
  48         smramc = pci_read8(0, 0, 0, 0x70);
 
  49         pci_write8(0, 0, 0, 0x70, (smramc & 0xF3) | 0x08);
 
  51         pci_write8(0, 0, 0, 0x70, smramc);
 
  56         outb(0x834, 0x40);      // ack the periodic IRQ
 
  57         outb(0x830, (inb(0x830) | 0x2) & ~0x40);
 
  58         outb(0x830, inb(0x830) | 0x40);