/* * AcpiOsReadable: * * Check if a memory region is readable. */