Symbol: aml_disprintf
sys/dev/acpi/dsdt.c
3201
void aml_disprintf(void *arg, const char *fmt, ...);
sys/dev/acpi/dsdt.c
3229
dbprintf = aml_disprintf;