acpimadt_print     57 dev/acpi/acpimadt.c int acpimadt_print(void *, const char *);
acpimadt_print    186 dev/acpi/acpimadt.c 				config_found(mainbus, &caa, acpimadt_print);
acpimadt_print    206 dev/acpi/acpimadt.c 				config_found(mainbus, &aaa, acpimadt_print);