acpi_ex_out_pointer
static void acpi_ex_out_pointer(const char *title, const void *value);
acpi_ex_out_pointer(name,
