Lines Matching refs:BIOS_PRINTF_DEBHALT
403 if ((flags & BIOS_PRINTF_DEBHALT) == BIOS_PRINTF_DEBHALT)
