1 2static void main(void) 3{ 4 int i; 5 i = __builtin_inb(0x1234); 6 if (i == 23) { 7 for(;;) { 8 int j; 9 j = __builtin_inb(0xabcd); 10 __builtin_outb(j, 0xef90); 11 } 12 } 13 __builtin_outb(i, 0x5678); 14 15} 16