dev/acpica/acpi.c

868         snprintf(buf, buflen, "handle=%s", acpi_name(dinfo->ad_handle));
1704 		acpi_name(handle), AcpiFormatException(status));
1806 		state, acpi_name(h));
1810 	    acpi_name(h), AcpiFormatException(status));
1989 	handle_str = acpi_name(handle);
3099 		acpi_name(handle), sstate);
3105 		acpi_name(handle), sstate);
3135 	    device_printf(dev, "run_prep re-enabled %s\n", acpi_name(handle));
3141 		acpi_name(handle));
3308 	printf("ACPI device %s has too many power resources\n", acpi_name(h));
3433 acpi_name(ACPI_HANDLE handle)
3456     np = acpi_name(handle);