19 static void acpi_rs_out_string(const char *title, const char *value);
21 static void acpi_rs_out_integer8(const char *title, u8 value);
23 static void acpi_rs_out_integer16(const char *title, u16 value);
25 static void acpi_rs_out_integer32(const char *title, u32 value);
27 static void acpi_rs_out_integer64(const char *title, u64 value);
29 static void acpi_rs_out_title(const char *title);
43 acpi_rs_dump_resource_label(char *title,
199 			 * Optional resource title  in acpi_rs_dump_descriptor()
417  * PARAMETERS:  title              - Title of the dumped resource field
427 acpi_rs_dump_resource_label(char *title,  in acpi_rs_dump_resource_label()  argument
432 	acpi_rs_out_string(title,  in acpi_rs_dump_resource_label()
488  * PARAMETERS:  title       - Name of the resource field
498 static void acpi_rs_out_string(const char *title, const char *value)  in acpi_rs_out_string()  argument
501 	acpi_os_printf("%27s : %s", title, value);  in acpi_rs_out_string()
508 static void acpi_rs_out_integer8(const char *title, u8 value)  in acpi_rs_out_integer8()  argument
510 	acpi_os_printf("%27s : %2.2X\n", title, value);  in acpi_rs_out_integer8()
513 static void acpi_rs_out_integer16(const char *title, u16 value)  in acpi_rs_out_integer16()  argument
516 	acpi_os_printf("%27s : %4.4X\n", title, value);  in acpi_rs_out_integer16()
519 static void acpi_rs_out_integer32(const char *title, u32 value)  in acpi_rs_out_integer32()  argument
522 	acpi_os_printf("%27s : %8.8X\n", title, value);  in acpi_rs_out_integer32()
525 static void acpi_rs_out_integer64(const char *title, u64 value)  in acpi_rs_out_integer64()  argument
528 	acpi_os_printf("%27s : %8.8X%8.8X\n", title, ACPI_FORMAT_UINT64(value));  in acpi_rs_out_integer64()
531 static void acpi_rs_out_title(const char *title)  in acpi_rs_out_title()  argument
534 	acpi_os_printf("%27s : ", title);  in acpi_rs_out_title()