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