acpi_rs_out_integer64   27 drivers/acpi/acpica/rsdump.c static void acpi_rs_out_integer64(const char *title, u64 value);
acpi_rs_out_integer64  238 drivers/acpi/acpica/rsdump.c 			acpi_rs_out_integer64(name, ACPI_GET64(target));