HelenOS sources
PAGE_USER 171 kernel/arch/abs32le/include/arch/mm/page.h p->uaccessible = (flags & PAGE_USER) != 0;
PAGE_USER 229 kernel/arch/amd64/include/arch/mm/page.h p->uaccessible = (flags & PAGE_USER) != 0;
PAGE_USER 67 kernel/arch/amd64/src/vreg.c PAGE_READ | PAGE_WRITE | PAGE_USER | PAGE_CACHEABLE);
PAGE_USER 224 kernel/arch/arm32/include/arch/mm/page_armv4.h if (flags & PAGE_USER) {
PAGE_USER 289 kernel/arch/arm32/include/arch/mm/page_armv6.h if (flags & PAGE_USER) {
PAGE_USER 56 kernel/arch/arm32/src/ras.c PAGE_READ | PAGE_WRITE | PAGE_USER | PAGE_CACHEABLE);
PAGE_USER 361 kernel/arch/arm64/include/arch/mm/page.h if (flags & PAGE_USER) {
PAGE_USER 201 kernel/arch/ia32/include/arch/mm/page.h p->uaccessible = (flags & PAGE_USER) != 0;
PAGE_USER 68 kernel/arch/ia32/src/vreg.c PAGE_READ | PAGE_WRITE | PAGE_USER | PAGE_CACHEABLE);
PAGE_USER 246 kernel/arch/ia64/src/mm/page.c v->present.pl = (flags & PAGE_USER) ? PL_USER : PL_KERNEL;
PAGE_USER 201 kernel/arch/riscv64/include/arch/mm/page.h entry->user = (flags & PAGE_USER) != 0;
PAGE_USER 172 kernel/genarch/src/mm/page_ht.c pte->k = !(flags & PAGE_USER);
PAGE_USER 92 kernel/genarch/src/mm/page_pt.c PAGE_NOT_PRESENT | PAGE_USER | PAGE_EXEC | PAGE_CACHEABLE |
PAGE_USER 111 kernel/genarch/src/mm/page_pt.c PAGE_NOT_PRESENT | PAGE_USER | PAGE_EXEC | PAGE_CACHEABLE |
PAGE_USER 128 kernel/genarch/src/mm/page_pt.c PAGE_NOT_PRESENT | PAGE_USER | PAGE_EXEC | PAGE_CACHEABLE |
PAGE_USER 433 kernel/genarch/src/mm/page_pt.c PAGE_PRESENT | PAGE_USER | PAGE_CACHEABLE |
PAGE_USER 1332 kernel/generic/src/mm/as.c unsigned int flags = PAGE_USER | PAGE_PRESENT;
HelenOS homepage, sources at GitHub