acpi_rs_out_integer16   23 drivers/acpi/acpica/rsdump.c static void acpi_rs_out_integer16(const char *title, u16 value);
acpi_rs_out_integer16  228 drivers/acpi/acpica/rsdump.c 			acpi_rs_out_integer16(name, ACPI_GET16(target));