Searched refs:devices_count (Results 1 – 3 of 3) sorted by relevance

/u-boot/drivers/serial/
A D	serial_coreboot.c	42 if (!hdr->devices_count) { in read_dbg2()
/u-boot/lib/acpi/
A D	acpi_table.c	228 dbg2->devices_count = 1; in acpi_create_dbg2()
/u-boot/include/acpi/
A D	acpi_table.h	609 u32 devices_count; member

Completed in 11 milliseconds

Last Index update Fri Aug 22 08:59:00 CST 2025