Define the bits required to tell whether a page fault was generated
due to a read, write or execute action.
Signed-off-by: Sergiu Moga <sergiu.moga@protonmail.com>
Reviewed-by: Michalis Pappas <michalis@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #908
#define PAGE_ATTR_SHAREABLE_IS (1 << PAGE_ATTR_SHAREABLE_SHIFT)
#define PAGE_ATTR_SHAREABLE_OS (2 << PAGE_ATTR_SHAREABLE_SHIFT)
+/* Page fault error code bits */
+#define ARM64_PF_ESR_WnR 0x0000040UL
+#define ARM64_PF_ESR_ISV 0x1000000UL
+
#define ARM64_PADDR_BITS 48
#define ARM64_VADDR_BITS 48