arch/arm64: Support FEAT_CCIDX
[coreboot2.git] / tests / stubs / console.c
blob14b3e7105648ec4b5a154a9eae79ca974097dc64
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <console/console.h>
4 #include <stdarg.h>
5 #include <stdio.h>
6 #include <tests/test.h>
8 #ifndef TEST_PRINT
9 #define TEST_PRINT 0
10 #endif
12 int printk(int msg_level, const char *fmt, ...)
14 #if TEST_PRINT
15 va_list v;
16 va_start(v, fmt);
17 vprint_message(fmt, v);
18 va_end(v);
19 #endif
20 return 0;
23 int vprintk(int msg_level, const char *fmt, va_list args)
25 #if TEST_PRINT
26 vprint_message(fmt, args);
27 #endif
28 return 0;
31 int console_log_level(int msg_level)
33 return 0;