acpi_md_OsReadable
BOOLEAN acpi_md_OsReadable(void *, UINT32);
BOOLEAN acpi_md_OsReadable(void *, UINT32);
BOOLEAN acpi_md_OsReadable(void *, UINT32);
return acpi_md_OsReadable(Pointer, Length);