56 static void acpi_rs_out_string(char *title, char *value);
58 static void acpi_rs_out_integer8(char *title, u8 value);
60 static void acpi_rs_out_integer16(char *title, u16 value);
62 static void acpi_rs_out_integer32(char *title, u32 value);
64 static void acpi_rs_out_integer64(char *title, u64 value);
66 static void acpi_rs_out_title(char *title);
485 static void acpi_rs_out_string(char *title, char *value)  in acpi_rs_out_string()  argument
487 	acpi_os_printf("%27s : %s", title, value);  in acpi_rs_out_string()
494 static void acpi_rs_out_integer8(char *title, u8 value)  in acpi_rs_out_integer8()  argument
496 	acpi_os_printf("%27s : %2.2X\n", title, value);  in acpi_rs_out_integer8()
499 static void acpi_rs_out_integer16(char *title, u16 value)  in acpi_rs_out_integer16()  argument
501 	acpi_os_printf("%27s : %4.4X\n", title, value);  in acpi_rs_out_integer16()
504 static void acpi_rs_out_integer32(char *title, u32 value)  in acpi_rs_out_integer32()  argument
506 	acpi_os_printf("%27s : %8.8X\n", title, value);  in acpi_rs_out_integer32()
509 static void acpi_rs_out_integer64(char *title, u64 value)  in acpi_rs_out_integer64()  argument
511 	acpi_os_printf("%27s : %8.8X%8.8X\n", title, ACPI_FORMAT_UINT64(value));  in acpi_rs_out_integer64()
514 static void acpi_rs_out_title(char *title)  in acpi_rs_out_title()  argument
516 	acpi_os_printf("%27s : ", title);  in acpi_rs_out_title()