1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _PRINTK_H 3 #define _PRINTK_H 4 5 #include <stdio.h> 6 #include <asm/bug.h> 7 8 /* 9 * memblock_dbg is called with u64 arguments that don't match the "%llu" 10 * specifier in printf. This results in warnings that cannot be fixed without 11 * modifying memblock.c, which we wish to avoid. As these messaged are not used 12 * in testing anyway, the mismatch can be ignored. 13 */ 14 #pragma GCC diagnostic push 15 #pragma GCC diagnostic ignored "-Wformat" 16 #define printk printf 17 #pragma GCC diagnostic push 18 19 #define pr_info printk 20 #define pr_debug printk 21 #define pr_cont printk 22 #define pr_err printk 23 #define pr_warn printk 24 25 #endif 26
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.