HelenOS sources

PTE_WRITABLE      303 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	if (found && PTE_WRITABLE(&t)) {
PTE_WRITABLE      305 kernel/arch/sparc64/src/mm/sun4v/tlb.c 	if (found && PTE_WRITABLE(&t)) {
PTE_WRITABLE      364 kernel/genarch/src/mm/page_pt.c 	assert(PTE_WRITABLE(t) == PTE_WRITABLE(pte));
PTE_WRITABLE     1564 kernel/generic/src/mm/as.c 		    (access == PF_ACCESS_WRITE && PTE_WRITABLE(&pte)) ||