Symbol: acpi_video_fini
usr/src/uts/i86pc/io/acpi_drv/acpi_video.c
782
(void) acpi_video_fini(vidp);
usr/src/uts/i86pc/io/acpi_drv/acpi_video.c
867
(void) acpi_video_fini(htkp->acpi_video);