Symbol: acpi_print
sys/dev/acpi/acpi.c
1103
ad->ad_device = config_found(sc->sc_dev, &aa, acpi_print,
sys/dev/acpi/acpi.c
218
static int acpi_print(void *aux, const char *);