Symbol: acpi_wmi_print
sys/dev/acpi/wmi/wmi_acpi.c
155
config_found(self, NULL, acpi_wmi_print, CFARGS_NONE);
sys/dev/acpi/wmi/wmi_acpi.c
61
static int acpi_wmi_print(void *, const char *);