Index: sys/arch/arm/acpi/acpi_machdep.c
===================================================================
RCS file: /cvsroot/src/sys/arch/arm/acpi/acpi_machdep.c,v
retrieving revision 1.8
diff -u -p -r1.8 acpi_machdep.c
--- sys/arch/arm/acpi/acpi_machdep.c	1 Aug 2019 18:59:10 -0000	1.8
+++ sys/arch/arm/acpi/acpi_machdep.c	12 Aug 2019 15:25:51 -0000
@@ -231,7 +231,7 @@ acpi_md_OsWritable(void *va, UINT32 len)
 
 	for (; sva < eva; sva += PAGE_SIZE) {
 		pte = kvtopte(sva);
-		if ((*pte & (LX_BLKPAG_AF|LX_BLKPAG_AP_RW)) != (LX_BLKPAG_AF|LX_BLKPAG_AP_RW))
+		if ((*pte & (LX_BLKPAG_AF|LX_BLKPAG_AP)) != (LX_BLKPAG_AF|LX_BLKPAG_AP_RW))
 			return FALSE;
 	}