Symbol: AcpiOsWritePort
sys/dev/acpica/acpi_cpu.c
1076
AcpiOsWritePort(cpu_smi_cmd, cpu_cst_cnt, 8);
sys/dev/acpica/acpi_perf.c
397
AcpiOsWritePort(AcpiGbl_FADT.SmiCommand, AcpiGbl_FADT.PstateControl, 8);