Searched refs:acpi_rs_out_integer64 (Results 1 - 1 of 1) sorted by relevance

/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/drivers/acpi/resources/
H A Drsdump.c59 static void acpi_rs_out_integer64(char *title, u64 value);
423 acpi_rs_out_integer64(name, ACPI_GET64(target));
715 static void acpi_rs_out_integer64(char *title, u64 value) function

Completed in 42 milliseconds