Miscellany

#include <stdio.h>#include <stdlib.h>#include <stdint.h>#include <sys/io.h>int main(){		outb(0xb4, 0x64);		outb(0xff, 0x64);				unsigned cookie;				for (int i=0; i < 10; i++)		{				cookie = inb(0x64);				printf("0x%02x\n", cookie);		}				outb(0xfb, 0x64);		outb(0xff, 0x64);}