Searched refs:ARM_PTE_BOOT_PAGE (Results 1 – 1 of 1) sorted by relevance
1764 #define ARM_PTE_BOOT_PAGE (ARM_PTE_BOOT_PAGE_BASE | ARM_PTE_NG) macro1766 #define ARM_PTE_BOOT_PAGE (ARM_PTE_BOOT_PAGE_BASE) macro