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