55 static void acpi_rs_out_string(char *title, char *value);
57 static void acpi_rs_out_integer8(char *title, u8 value);
59 static void acpi_rs_out_integer16(char *title, u16 value);
61 static void acpi_rs_out_integer32(char *title, u32 value);
63 static void acpi_rs_out_integer64(char *title, u64 value);
65 static void acpi_rs_out_title(char *title);
484 static void acpi_rs_out_string(char *title, char *value)  in acpi_rs_out_string()  argument
486 	acpi_os_printf("%27s : %s", title, value);  in acpi_rs_out_string()
493 static void acpi_rs_out_integer8(char *title, u8 value)  in acpi_rs_out_integer8()  argument
495 	acpi_os_printf("%27s : %2.2X\n", title, value);  in acpi_rs_out_integer8()
498 static void acpi_rs_out_integer16(char *title, u16 value)  in acpi_rs_out_integer16()  argument
500 	acpi_os_printf("%27s : %4.4X\n", title, value);  in acpi_rs_out_integer16()
503 static void acpi_rs_out_integer32(char *title, u32 value)  in acpi_rs_out_integer32()  argument
505 	acpi_os_printf("%27s : %8.8X\n", title, value);  in acpi_rs_out_integer32()
508 static void acpi_rs_out_integer64(char *title, u64 value)  in acpi_rs_out_integer64()  argument
510 	acpi_os_printf("%27s : %8.8X%8.8X\n", title, ACPI_FORMAT_UINT64(value));  in acpi_rs_out_integer64()
513 static void acpi_rs_out_title(char *title)  in acpi_rs_out_title()  argument
515 	acpi_os_printf("%27s : ", title);  in acpi_rs_out_title()