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