Searched refs:AcpiOsWritePort (Results 1 - 7 of 7) sorted by relevance

/barrelfish-master/usr/acpi/arch/armv8/
H A Dacpica_osglue_arch.c180 * FUNCTION: AcpiOsWritePort
193 AcpiOsWritePort ( function
/barrelfish-master/usr/acpi/arch/x86/
H A Dacpica_osglue_arch.c207 * FUNCTION: AcpiOsWritePort
220 AcpiOsWritePort ( function
226 //printf("AcpiOsWritePort(0x%lx %d 0x%x)\n", Address, Width, Value);
/barrelfish-master/lib/acpica/source/components/hardware/
H A Dhwvalid.c377 * to AcpiOsWritePort that performs validation on both the port
404 Status = AcpiOsWritePort (Address, Value, Width);
424 Status = AcpiOsWritePort (Address, (Value >> i) & 0xFF, 8);
H A Dhwxface.c174 Status = AcpiOsWritePort ((ACPI_IO_ADDRESS) ResetReg->Address,
/barrelfish-master/lib/acpica/source/include/
H A Dacpiosxf.h450 AcpiOsWritePort (
/barrelfish-master/lib/acpica/source/os_specific/service_layers/
H A Dosunixxf.c1341 * FUNCTION: AcpiOsWritePort
1354 AcpiOsWritePort ( function
H A Doswinxf.c1335 * FUNCTION: AcpiOsWritePort
1348 AcpiOsWritePort ( function

Completed in 158 milliseconds