Symbol: acpi_drv_set_int
usr/src/uts/common/sys/hotkey_drv.h
114
int acpi_drv_set_int(ACPI_HANDLE dev, char *method, uint32_t aint);
usr/src/uts/i86pc/io/acpi_drv/acpi_video.c
213
if (acpi_drv_set_int(vidbp->dev.hdl, "_BCM", vidbp->levels[level])