Searched refs:acpi_rs_out_integer64 (Results 1 – 1 of 1) sorted by relevance
63 static void acpi_rs_out_integer64(char *title, u64 value);272 acpi_rs_out_integer64(name, ACPI_GET64(target)); in acpi_rs_dump_descriptor()508 static void acpi_rs_out_integer64(char *title, u64 value) in acpi_rs_out_integer64() function