coreboot-kgpe-d16/util/romcc/tests/simple_test52.c

static void main(void)
{
        if (__builtin_inb(0x1b)) {
        }
}