acpi_print_dev_stub
void acpi_print_dev_stub(const char *);
void (*acpi_print_dev)(const char *) = acpi_print_dev_stub;