tree: Use <stdio.h> for snprintf

<stdio.h> header is used for input/output operations (such as printf,
scanf, fopen, etc.). Although some input/output functions can manipulate
strings, they do not need to directly include <string.h> because they
are declared independently.

Change-Id: Ibe2a4ff6f68843a6d99cfdfe182cf2dd922802aa
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/82665
Reviewed-by: Yidi Lin <yidilin@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>

src/acpi/acpigen.c

@@ -14,6 +14,7 @@
 #include <console/console.h>
 #include <device/device.h>
 #include <device/soundwire.h>
+#include <stdio.h>
 #include <types.h>
 
 static char *gencurrent;

src/acpi/acpigen_dptf.c

@@ -4,6 +4,7 @@
 #include <acpi/acpigen_dptf.h>
 #include <stdbool.h>
 #include <stdint.h>
+#include <stdio.h>
 
 /* Defaults */
 #define DEFAULT_RAW_UNIT		"ma"

src/acpi/acpigen_usb.c

@@ -5,6 +5,7 @@
 #include <acpi/acpigen.h>
 #include <acpi/acpigen_usb.h>
 #include <device/device.h>
+#include <stdio.h>
 
 static const char *power_role_to_str(enum usb_typec_power_role power_role)
 {

src/acpi/device.c

@@ -8,6 +8,7 @@
 #include <acpi/acpigen_pci.h>
 #include <device/device.h>
 #include <stdlib.h>
+#include <stdio.h>
 #include <types.h>
 #include <crc_byte.h>
 

src/arch/arm64/smbios.c

@@ -5,6 +5,7 @@
 #include <arch/smc.h>
 #include <console/console.h>
 #include <smbios.h>
+#include <stdio.h>
 #include <string.h>
 
 static void smbios_processor_id(u32 *processor_id)

src/arch/x86/smbios.c

@@ -5,6 +5,7 @@
 #include <console/console.h>
 #include <arch/cpu.h>
 #include <cpu/x86/name.h>
+#include <stdio.h>
 
 static int smbios_cpu_vendor(u8 *start)
 {

src/console/vsprintf.c

@@ -1,6 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <console/vtxprintf.h>
+#include <stdio.h>
 #include <string.h>
 
 struct vsnprintf_context {

src/cpu/x86/smm/smm_module_loader.c

@@ -11,6 +11,7 @@
 #include <device/mmio.h>
 #include <rmodule.h>
 #include <smmstore.h>
+#include <stdio.h>
 #include <string.h>
 #include <types.h>
 

src/device/device_util.c

@@ -4,6 +4,7 @@
 #include <console/console.h>
 #include <device/device.h>
 #include <device/pci_def.h>
+#include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 #include <types.h>

src/device/pci_rom.c

@@ -6,6 +6,7 @@
 #include <device/pci.h>
 #include <device/pci_ids.h>
 #include <device/pci_ops.h>
+#include <stdio.h>
 #include <string.h>
 #include <cbfs.h>
 #include <cbmem.h>

src/drivers/acpi/thermal_zone/thermal_zone.c

@@ -5,6 +5,7 @@
 #include <commonlib/bsd/helpers.h>
 #include <console/console.h>
 #include <device/device.h>
+#include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 

src/drivers/amd/i2s_machine_dev/i2s_machine_dev.c

@@ -3,6 +3,7 @@
 #include <acpi/acpi_device.h>
 #include <acpi/acpigen.h>
 #include <device/device.h>
+#include <stdio.h>
 #include <string.h>
 #include "chip.h"
 #include <console/console.h>

src/drivers/generic/gpio_keys/gpio_keys.c

@@ -3,6 +3,7 @@
 #include <acpi/acpi_device.h>
 #include <acpi/acpigen.h>
 #include <device/device.h>
+#include <stdio.h>
 #include <string.h>
 
 #include "chip.h"

src/drivers/i2c/cs35l53/cs35l53.c

@@ -6,6 +6,7 @@
 #include <console/console.h>
 #include <device/i2c_simple.h>
 #include <device/device.h>
+#include <stdio.h>
 
 #include "chip.h"
 

src/drivers/i2c/generic/generic.c

@@ -7,6 +7,7 @@
 #include <device/i2c_simple.h>
 #include <device/device.h>
 #include <gpio.h>
+#include <stdio.h>
 #include <string.h>
 #include "chip.h"
 

src/drivers/i2c/gpiomux/bus/bus.c

@@ -4,6 +4,7 @@
 #include <acpi/acpigen.h>
 #include <console/console.h>
 #include <device/device.h>
+#include <stdio.h>
 #include <string.h>
 
 #include "chip.h"

src/drivers/i2c/gpiomux/mux/mux.c

@@ -4,6 +4,7 @@
 #include <acpi/acpigen.h>
 #include <console/console.h>
 #include <device/device.h>
+#include <stdio.h>
 #include <string.h>
 
 #include "chip.h"

src/drivers/i2c/hid/hid.c

@@ -4,6 +4,7 @@
 #include <acpi/acpi_device.h>
 #include <assert.h>
 #include <device/device.h>
+#include <stdio.h>
 #include <string.h>
 #include "chip.h"
 #include <gpio.h>

src/drivers/i2c/max98390/max98390.c

@@ -7,6 +7,7 @@
 #include <device/device.h>
 #include <identity.h>
 #include <stdint.h>
+#include <stdio.h>
 #include <vendorcode/google/dsm_calib.h>
 #include "chip.h"
 

src/drivers/i2c/max98396/max98396.c

@@ -5,6 +5,7 @@
 #include <console/console.h>
 #include <device/i2c_simple.h>
 #include <device/device.h>
+#include <stdio.h>
 
 #include "chip.h"
 

src/drivers/i2c/rt1011/rt1011.c

@@ -6,6 +6,7 @@
 #include <device/i2c.h>
 #include <device/device.h>
 #include <stdint.h>
+#include <stdio.h>
 #include <vendorcode/google/dsm_calib.h>
 #include "chip.h"
 

src/drivers/i2c/rt5645/rt5645.c

@@ -4,6 +4,8 @@
 #include <acpi/acpigen.h>
 #include <console/console.h>
 #include <device/device.h>
+#include <stdio.h>
+
 #include "chip.h"
 
 #define RT5645_ACPI_NAME	"RT58"

src/drivers/i2c/sx9310/sx9310.c

@@ -5,6 +5,7 @@
 #include <console/console.h>
 #include <device/i2c_simple.h>
 #include <device/device.h>
+#include <stdio.h>
 #include <string.h>
 #include "chip.h"
 

src/drivers/i2c/sx9324/sx9324.c

@@ -5,6 +5,7 @@
 #include <console/console.h>
 #include <device/i2c_simple.h>
 #include <device/device.h>
+#include <stdio.h>
 #include <string.h>
 #include "chip.h"
 

src/drivers/i2c/sx9360/sx9360.c

@@ -5,6 +5,7 @@
 #include <console/console.h>
 #include <device/i2c_simple.h>
 #include <device/device.h>
+#include <stdio.h>
 #include <string.h>
 #include "chip.h"
 

src/drivers/intel/dptf/dptf.c

@@ -5,6 +5,7 @@
 #include <console/console.h>
 #include <device/device.h>
 #include <intelblocks/pmc_ipc.h>
+#include <stdio.h>
 #include <soc/dptf.h>
 #include <soc/pci_devs.h>
 #include "chip.h"

src/drivers/intel/fsp2_0/util.c

@@ -8,6 +8,7 @@
 #include <commonlib/fsp.h>
 #include <console/console.h>
 #include <fsp/util.h>
+#include <stdio.h>
 #include <string.h>
 #include <types.h>
 #include <assert.h>

src/drivers/intel/gma/acpi.c

@@ -1,6 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-or-later */
 
 #include <acpi/acpigen.h>
+#include <stdio.h>
 #include <string.h>
 #include "i915.h"
 

src/drivers/intel/mipi_camera/camera.c

@@ -9,6 +9,8 @@
 #include <device/i2c_simple.h>
 #include <device/device.h>
 #include <device/pci_def.h>
+#include <stdio.h>
+
 #include "chip.h"
 
 #define CSI2_DATA_STREAM_INTERFACE_GUID \

src/drivers/intel/pmc_mux/conn/conn.c

@@ -7,6 +7,7 @@
 #include <console/console.h>
 #include <drivers/usb/acpi/chip.h>
 #include <intelblocks/acpi.h>
+#include <stdio.h>
 
 #include "chip.h"
 

src/drivers/intel/usb4/retimer/retimer.c

@@ -7,6 +7,7 @@
 #include <device/device.h>
 #include <drivers/usb/acpi/chip.h>
 #include <gpio.h>
+#include <stdio.h>
 #include <string.h>
 #include "chip.h"
 #include "retimer.h"

src/drivers/nxp/uwb/uwb.c

@@ -6,6 +6,7 @@
 #include <device/device.h>
 #include <device/spi.h>
 #include <spi-generic.h>
+#include <stdio.h>
 #include <string.h>
 #include "chip.h"
 

src/drivers/ocp/dmi/smbios.c

@@ -6,6 +6,7 @@
 #include <delay.h>
 #include <cpu/x86/mp.h>
 #include <timer.h>
+#include <stdio.h>
 #include <string.h>
 #include <soc/soc_util.h>
 #include <soc/util.h>

src/drivers/spi/acpi/acpi.c

@@ -6,6 +6,7 @@
 #include <device/device.h>
 #include <device/spi.h>
 #include <spi-generic.h>
+#include <stdio.h>
 #include <string.h>
 #include "chip.h"
 

src/drivers/uart/acpi/acpi.c

@@ -3,6 +3,7 @@
 #include <acpi/acpi_device.h>
 #include <acpi/acpigen.h>
 #include <console/console.h>
+#include <stdio.h>
 #include <string.h>
 #include "chip.h"
 

src/drivers/usb/hub/acpi.c

@@ -2,6 +2,7 @@
 
 #include <acpi/acpigen.h>
 #include <acpi/acpi_device.h>
+#include <stdio.h>
 
 #include "chip.h"
 

src/drivers/usb/pci_xhci/pci_xhci.c

@@ -7,6 +7,7 @@
 #include <device/pci.h>
 #include <device/pci_ids.h>
 #include <device/xhci.h>
+#include <stdio.h>
 #include <stdlib.h>
 
 #define PCI_XHCI_CLASSCODE	0x0c0330 /* USB3.0 xHCI controller */

src/drivers/wifi/generic/acpi.c

@@ -7,6 +7,7 @@
 #include <device/pci_ids.h>
 #include <mtcl.h>
 #include <sar.h>
+#include <stdio.h>
 #include <stdlib.h>
 #include <wrdd.h>
 

src/ec/clevo/it5570e/ssdt.c

@@ -4,6 +4,7 @@
 #include <console/console.h>
 #include <device/device.h>
 #include <device/mmio.h>
+#include <stdio.h>
 
 #include "chip.h"
 #include "ec.h"

src/ec/google/chromeec/audio_codec/audio_codec.c

@@ -5,6 +5,8 @@
 #include <console/console.h>
 #include <device/device.h>
 #include <device/path.h>
+#include <stdio.h>
+
 #include "chip.h"
 
 #define CROS_EC_AUDIO_CODEC_HID		"GOOG0013"

src/ec/google/chromeec/ec_dptf_helpers.c

@@ -4,6 +4,7 @@
 #include <acpi/acpigen_dptf.h>
 #include <ec/google/common/dptf.h>
 #include <drivers/intel/dptf/chip.h>
+#include <stdio.h>
 
 #include "chip.h"
 /*

src/ec/google/chromeec/ec_smbios.c

@@ -2,6 +2,7 @@
 
 #include <ec/google/chromeec/ec.h>
 #include <console/console.h>
+#include <stdio.h>
 #include <string.h>
 #include <smbios.h>
 

src/ec/google/chromeec/i2c_tunnel/i2c_tunnel.c

@@ -5,6 +5,7 @@
 #include <console/console.h>
 #include <device/device.h>
 #include <device/path.h>
+#include <stdio.h>
 #include <string.h>
 #include "chip.h"
 

src/ec/google/chromeec/mux/conn/conn.c

@@ -1,6 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-or-later */
 
 #include <acpi/acpigen.h>
+#include <stdio.h>
 
 #include "chip.h"
 

src/ec/lenovo/h8/h8.c

@@ -5,6 +5,7 @@
 #include <device/device.h>
 #include <device/pnp.h>
 #include <ec/acpi/ec.h>
+#include <stdio.h>
 #include <string.h>
 #include <smbios.h>
 #include <option.h>

src/ec/lenovo/h8/ssdt.c

@@ -2,6 +2,7 @@
 
 #include <console/console.h>
 #include <acpi/acpigen.h>
+#include <stdio.h>
 #include <string.h>
 
 #include "h8.h"

src/include/stdio.h

@@ -1,8 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 /**
- * Note: This file is only for POSIX compatibility, and is meant to be
- * chain-included via string.h.
+ * Note: This file is only for POSIX compatibility.
  */
 
 #ifndef STDIO_H

src/include/string.h

@@ -4,7 +4,6 @@
 #define STRING_H
 
 #include <stddef.h>
-#include <stdio.h> /* IWYU pragma: export */
 
 void *memcpy(void *dest, const void *src, size_t n);
 void *memmove(void *dest, const void *src, size_t n);

src/lib/device_tree.c

@@ -8,6 +8,7 @@
 #include <endian.h>
 #include <stdbool.h>
 #include <stdint.h>
+#include <stdio.h>
 #include <string.h>
 #include <stddef.h>
 #include <stdlib.h>

src/lib/fit.c

@@ -12,6 +12,7 @@
 #include <memrange.h>
 #include <fit.h>
 #include <boardid.h>
+#include <stdio.h>
 #include <stdlib.h>
 #include <types.h>
 

src/lib/smbios.c

@@ -16,6 +16,7 @@
 #include <device/pci_ids.h>
 #include <device/pci.h>
 #include <drivers/vpd/vpd.h>
+#include <stdio.h>
 #include <stdlib.h>
 
 static u8 smbios_checksum(u8 *p, u32 length)

src/lib/smbios_defaults.c

@@ -3,6 +3,7 @@
 #include <memory_info.h>
 #include <smbios.h>
 #include <stdint.h>
+#include <stdio.h>
 #include <string.h>
 
 /* this function will fill the corresponding locator */

src/lib/ux_locales.c

@@ -4,6 +4,7 @@
 #include <console/console.h>
 #include <security/vboot/misc.h>
 #include <stddef.h>
+#include <stdio.h>
 #include <string.h>
 #include <ux_locales.h>
 #include <vb2_api.h>

src/mainboard/google/fizz/mainboard.c

@@ -14,6 +14,7 @@
 #include <smbios.h>
 #include <soc/pci_devs.h>
 #include <soc/nhlt.h>
+#include <stdio.h>
 #include <string.h>
 #include <timer.h>
 

src/mainboard/google/gru/sdram_configs.c

@@ -5,6 +5,7 @@
 #include <console/console.h>
 #include <gpio.h>
 #include <soc/sdram.h>
+#include <stdio.h>
 #include <string.h>
 #include <types.h>
 

src/mainboard/google/kahlee/mainboard.c

@@ -16,6 +16,7 @@
 #include <soc/acpi.h>
 #include <soc/pci_devs.h>
 #include <soc/southbridge.h>
+#include <stdio.h>
 #include <amdblocks/acpimmio.h>
 #include <variant/ec.h>
 #include <variant/thermal.h>

src/mainboard/google/kukui/mainboard.c

@@ -19,6 +19,7 @@
 #include <soc/mtcmos.h>
 #include <soc/spm.h>
 #include <soc/usb.h>
+#include <stdio.h>
 #include <string.h>
 
 #include "gpio.h"

src/mainboard/google/poppy/variants/nami/mainboard.c

@@ -13,6 +13,7 @@
 #include <intelblocks/power_limit.h>
 #include <smbios.h>
 #include <soc/ramstage.h>
+#include <stdio.h>
 #include <string.h>
 #include <variant/sku.h>
 #include <gpio.h>

src/mainboard/google/poppy/variants/nautilus/mainboard.c

@@ -6,6 +6,7 @@
 #include <device/device.h>
 #include <device/pci_ops.h>
 #include <smbios.h>
+#include <stdio.h>
 #include <string.h>
 #include <variant/sku.h>
 

src/mainboard/google/poppy/variants/rammus/mainboard.c

@@ -3,6 +3,7 @@
 #include <baseboard/variants.h>
 #include <ec/google/chromeec/ec.h>
 #include <smbios.h>
+#include <stdio.h>
 #include <string.h>
 #include <sar.h>
 

src/mainboard/google/reef/mainboard.c

@@ -10,6 +10,7 @@
 #include <nhlt.h>
 #include <smbios.h>
 #include <soc/nhlt.h>
+#include <stdio.h>
 #include <string.h>
 #include <variant/ec.h>
 #include <variant/gpio.h>

src/mainboard/google/rex/mainboard.c

@@ -9,6 +9,7 @@
 #include <ec/ec.h>
 #include <fw_config.h>
 #include <soc/ramstage.h>
+#include <stdio.h>
 #include <stdlib.h>
 #include <vendorcode/google/chromeos/chromeos.h>
 

src/mainboard/google/volteer/mainboard.c

@@ -12,6 +12,7 @@
 #include <intelblocks/tcss.h>
 #include <soc/pci_devs.h>
 #include <soc/ramstage.h>
+#include <stdio.h>
 #include <variant/gpio.h>
 #include <vb2_api.h>
 

src/mainboard/ibm/sbp1/ramstage.c

@@ -2,6 +2,7 @@
 #include <cpu/x86/smm.h>
 #include <soc/ramstage.h>
 #include <soc/smmrelocate.h>
+#include <stdio.h>
 
 #include "include/spr_sbp1_gpio.h"
 #include <bootstate.h>

src/mainboard/intel/adlrvp/mainboard.c

@@ -11,6 +11,7 @@
 #include <smbios.h>
 #include <soc/gpio.h>
 #include <stdint.h>
+#include <stdio.h>
 #include <string.h>
 
 #include "board_id.h"

src/mainboard/intel/mtlrvp/mainboard.c

@@ -8,6 +8,7 @@
 #include <soc/ramstage.h>
 #include <smbios.h>
 #include <stdint.h>
+#include <stdio.h>
 #include <string.h>
 
 const char *smbios_system_sku(void)

src/mainboard/intel/tglrvp/mainboard.c

@@ -6,6 +6,7 @@
 #include <ec/ec.h>
 #include <soc/gpio.h>
 #include <smbios.h>
+#include <stdio.h>
 #include <string.h>
 
 const char *smbios_system_sku(void)

src/mainboard/kontron/986lcd-m/mainboard.c

@@ -6,6 +6,7 @@
 #include <console/console.h>
 #include <drivers/intel/gma/int15.h>
 #include <option.h>
+#include <stdio.h>
 #include <superio/hwm5_conf.h>
 #include <superio/nuvoton/common/hwm.h>
 

src/mainboard/lenovo/s230u/mainboard.c

@@ -5,6 +5,7 @@
 #include <drivers/intel/gma/int15.h>
 #include <ec/acpi/ec.h>
 #include <southbridge/intel/common/gpio.h>
+#include <stdio.h>
 #include <string.h>
 #include <smbios.h>
 #include "ec.h"

src/mainboard/ocp/deltalake/ramstage.c

@@ -20,6 +20,7 @@
 #include <soc/smmrelocate.h>
 #include <soc/soc_util.h>
 #include <soc/util.h>
+#include <stdio.h>
 #include <string.h>
 #include <types.h>
 

src/mainboard/pcengines/apu2/mainboard.c

@@ -16,6 +16,7 @@
 #include <southbridge/amd/common/amd_pci_util.h>
 #include <superio/nuvoton/nct5104d/nct5104d.h>
 #include <smbios.h>
+#include <stdio.h>
 #include <string.h>
 #include <AGESA.h>
 #include "gpio_ftns.h"

src/mainboard/prodrive/atlas/mainboard.c

@@ -5,6 +5,7 @@
 #include <device/device.h>
 #include <gpio.h>
 #include <smbios.h>
+#include <stdio.h>
 #include <string.h>
 #include <types.h>
 

src/mainboard/prodrive/atlas/vpd.c

@@ -1,6 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <console/console.h>
+#include <stdio.h>
 #include <string.h>
 #include <types.h>
 

src/mainboard/prodrive/hermes/mainboard.c

@@ -16,6 +16,7 @@
 #include <intelblocks/pmclib.h>
 #include <smbios.h>
 #include <soc/pm.h>
+#include <stdio.h>
 #include <string.h>
 #include <types.h>
 

src/mainboard/prodrive/hermes/smbios.c

@@ -1,6 +1,7 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <smbios.h>
+#include <stdio.h>
 #include <string.h>
 #include <types.h>
 

src/security/tpm/tspi/crtm.c

@@ -6,6 +6,7 @@
 #include <cbfs.h>
 #include <symbols.h>
 #include "crtm.h"
+#include <stdio.h>
 #include <string.h>
 
 static int tpm_log_initialized;

src/soc/cavium/cn81xx/soc.c

@@ -13,6 +13,7 @@
 #include <soc/uart.h>
 #include <stddef.h>
 #include <stdlib.h>
+#include <stdio.h>
 #include <string.h>
 #include <symbols.h>
 #include <libbdk-boot/bdk-boot.h>

src/soc/intel/common/block/acpi/cpu_hybrid.c

@@ -9,6 +9,7 @@
 #include <device/path.h>
 #include <intelblocks/acpi.h>
 #include <soc/cpu.h>
+#include <stdio.h>
 #include <types.h>
 
 #define CPPC_NOM_FREQ_IDX	22

src/soc/intel/xeon_sp/acpi.c

@@ -6,6 +6,7 @@
 #include <soc/pci_devs.h>
 #include <soc/util.h>
 #include <stdint.h>
+#include <stdio.h>
 #include <stdlib.h>
 
 #include "chip.h"

src/soc/mediatek/common/display.c

@@ -10,6 +10,7 @@
 #include <soc/dptx.h>
 #include <soc/dsi.h>
 #include <soc/mtcmos.h>
+#include <stdio.h>
 #include <string.h>
 
 static struct panel_serializable_data *get_mipi_cmd_from_cbfs(struct panel_description *desc)

src/southbridge/intel/common/rcba_pirq.c

@@ -4,6 +4,7 @@
 #include <console/console.h>
 #include <device/device.h>
 #include <device/pci.h>
+#include <stdio.h>
 #include <stdlib.h>
 #include <southbridge/intel/common/acpi_pirq_gen.h>
 #include <southbridge/intel/common/rcba_pirq.h>

src/southbridge/intel/lynxpoint/acpi.c

@@ -3,6 +3,7 @@
 #include <acpi/acpi.h>
 #include <acpi/acpi_gnvs.h>
 #include <acpi/acpigen.h>
+#include <stdio.h>
 #include <string.h>
 #include <version.h>
 #include <soc/nvs.h>

src/superio/common/ssdt.c

@@ -8,6 +8,7 @@
 #include <acpi/acpi.h>
 #include <console/console.h>
 #include <types.h>
+#include <stdio.h>
 #include <string.h>
 
 struct superio_dev {

src/vendorcode/amd/opensil/genoa_poc/ramstage.c

@@ -9,6 +9,7 @@
 #include <cpu/cpu.h>
 #include <device/device.h>
 #include <soc/soc_chip.h>
+#include <stdio.h>
 #include <xSIM-api.h>
 #include "opensil_console.h"
 #include "opensil.h"

src/vendorcode/cavium/bdk/libbdk-dram/bdk-dram-config.c

@@ -37,6 +37,7 @@
 * ARISING OUT OF USE OR PERFORMANCE OF THE SOFTWARE LIES WITH YOU.
 ***********************license end**************************************/
 #include <bdk.h>
+#include <stdio.h>
 #include <string.h>
 #include <libbdk-hal/bdk-config.h>
 #include <libbdk-hal/bdk-l2c.h>

src/vendorcode/cavium/bdk/libbdk-dram/bdk-dram-test.c

@@ -48,6 +48,7 @@
 #include <libbdk-hal/bdk-utils.h>
 #include <libbdk-os/bdk-init.h>
 #include <libbdk-os/bdk-thread.h>
+#include <stdio.h>
 
 /* This code is an optional part of the BDK. It is only linked in
     if BDK_REQUIRE() needs it */

src/vendorcode/cavium/bdk/libbdk-hal/bdk-config.c

@@ -14,6 +14,7 @@
 #include <string.h>
 #include <assert.h>
 #include <lame_string.h>
+#include <stdio.h>
 
 static struct bdk_devicetree_key_value *config_fdt;
 

src/vendorcode/cavium/bdk/libbdk-hal/device/bdk-device.c

@@ -38,6 +38,7 @@
 ***********************license end**************************************/
 #include <bdk.h>
 #include <stdlib.h>
+#include <stdio.h>
 #include <string.h>
 #include "libbdk-arch/bdk-csrs-ap.h"
 #include "libbdk-arch/bdk-csrs-pccpf.h"

src/vendorcode/cavium/bdk/libdram/dram-init-ddr3.c

@@ -43,6 +43,7 @@
 #include "dram-internal.h"
 
 #include <stdlib.h>
+#include <stdio.h>
 #include <string.h>
 #include <libbdk-hal/bdk-config.h>
 #include <libbdk-hal/bdk-l2c.h>

src/vendorcode/google/smbios.c

@@ -2,6 +2,7 @@
 
 #include <boardid.h>
 #include <smbios.h>
+#include <stdio.h>
 #include <string.h>
 
 const char *smbios_mainboard_version(void)

tests/lib/lzma-test.c

@@ -4,6 +4,7 @@
 #include <helpers/file.h>
 #include <lib.h>
 #include <lib/lzmadecode.h>
+#include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 #include <sys/types.h>

tests/stubs/die.c

@@ -1,7 +1,6 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
 
 #include <stdarg.h>
-#include <stdio.h>
 #include <tests/test.h>
 
 void die(const char *msg, ...)

util/cbfstool/flashmap/kv_pair.c

@@ -1,6 +1,5 @@
 /* SPDX-License-Identifier: BSD-3-Clause or GPL-2.0-only */
 
-#include <stdio.h>
 #include <stdlib.h>
 #include <stdarg.h>