Searched refs:PTE_SW_WRITABLE (Results 1 – 2 of 2) sorted by relevance
135 #define PTE_SW_WRITABLE (1ULL << 55) macro
230 MMU_DEBUG((*pte & PTE_SW_WRITABLE) ? "-WRITABLE" : ""); in debug_show_pte()679 PTE_SW_WRITABLE : 0; in get_region_desc()1657 if ((desc & PTE_SW_WRITABLE) == 0) { in z_arm64_do_demand_paging()1680 (desc & PTE_SW_WRITABLE) != 0) { in z_arm64_do_demand_paging()
