blob: a27f98618d145d1318f559078b73b8565b328672 [file] [log] [blame]
static void main(void)
{
unsigned dev;
dev = __builtin_inl(0xcd);
if (dev == (0xffffffffU)) {
do {
__builtin_hlt();
} while(1);
}
}