Symbol: AcpiOsWritePort
sys/dev/acpi/acpi_cpu.h
347
AcpiOsWritePort(reg->reg_addr, val.u32,
sys/dev/acpi/acpi_cpu_cstate.c
404
(void)AcpiOsWritePort(addr, val, 8);
sys/dev/acpi/acpi_cpu_pstate.c
804
(void)AcpiOsWritePort(addr, val, 8);
sys/dev/acpi/apei_mapreg.c
250
rv = AcpiOsWritePort(addr, chunk,
sys/dev/acpi/thinkpad_acpi.c
963
AcpiOsWritePort(IO_RTC, 0x6c, 8);