1 2 3 4 5 6 7 8 9 10
static void main(void) { unsigned dev; dev = __builtin_inl(0xcd); if (dev == (0xffffffffU)) { do { __builtin_hlt(); } while(1); } }