Symbol: AcpiOsWritePort
usr/src/cmd/acpi/common/osunixxf.c
1431
AcpiOsWritePort (
usr/src/uts/intel/io/acpica/osl.c
861
AcpiOsWritePort(ACPI_IO_ADDRESS Address, UINT32 Value, UINT32 Width)