Symbol: AcpiOsReadPort
sys/dev/acpi/acpi_cpu.h
303
AcpiOsReadPort(reg->reg_addr, &val.u32,
sys/dev/acpi/acpi_cpu.h
338
AcpiOsReadPort(reg->reg_addr, &val.u32,
sys/dev/acpi/acpi_cpu_cstate.c
768
(void)AcpiOsReadPort(cs->cs_addr, &val, 8);
sys/dev/acpi/apei_mapreg.c
180
rv = AcpiOsReadPort(addr, &chunk32,
sys/dev/acpi/thinkpad_acpi.c
964
AcpiOsReadPort(IO_RTC + 1, &val, 8);