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