1 2 3 4 5 6 7 8
static void main(void) { int i; i = __builtin_inb(0x1234); int j; j = __builtin_inb(0xabcd); }