/* * AcpiOsReadPort: * * Read a value from an input port. */