Searched refs:CBMC_OVERFLOW (Results 1 – 15 of 15) sorted by relevance
88 #define CBMC_OVERFLOW (1 << 31) macro232 flags |= CBMC_OVERFLOW; in coreboot_debug_putc()