Symbol: AcpiOsWriteMemory
sys/dev/acpi/acpi_cpu.h
350
AcpiOsWriteMemory(reg->reg_addr, val.u64,
sys/dev/acpi/acpi_wdrt.c
362
rv = AcpiOsWriteMemory(sc->sc_control_reg.Address,
sys/dev/acpi/acpi_wdrt.c
400
rv = AcpiOsWriteMemory(sc->sc_count_reg.Address,