armv8: work around to set the page-table flags
#define PTABLE_MASK VMSAv8_64_PTABLE_MASK
#define PTABLE_CLEAR VMSAv8_64_PTABLE_CLEAR
-#define PTABLE_ACCESS_DEFAULT VMSAv8_64_PTABLE_ACCESS_DEFAULT
-#define PTABLE_ACCESS_READONLY VMSAv8_64_PTABLE_ACCESS_READONLY
+#define PTABLE_ACCESS_DEFAULT (KPI_PAGING_FLAGS_READ | KPI_PAGING_FLAGS_WRITE)
+#define PTABLE_ACCESS_READONLY KPI_PAGING_FLAGS_READ
#define PTABLE_ENTRY_SIZE VMSAv8_64_PTABLE_ENTRY_SIZE
#endif // ARCH_ARM_BARRELFISH_KPI_PAGING_H
