Symbol: acpi_rs_out_integer32
drivers/acpi/acpica/rsdump.c
238
acpi_rs_out_integer32(name, ACPI_GET32(target));
drivers/acpi/acpica/rsdump.c
25
static void acpi_rs_out_integer32(const char *title, u32 value);