HelenOS sources
PL_USER 82 kernel/arch/amd64/include/arch/pm.h #define DPL_USER (PL_USER << 5)
PL_USER 58 kernel/arch/amd64/src/syscall.c ((uint64_t) (GDT_SELECTOR(KDATA_DES) | PL_USER) << 48) |
PL_USER 70 kernel/arch/amd64/src/userspace.c :: [udata_des] "i" (GDT_SELECTOR(UDATA_DES) | PL_USER),
PL_USER 73 kernel/arch/amd64/src/userspace.c [utext_des] "i" (GDT_SELECTOR(UTEXT_DES) | PL_USER),
PL_USER 76 kernel/arch/ia32/include/arch/pm.h #define DPL_USER (PL_USER << 5)
PL_USER 74 kernel/arch/ia32/src/userspace.c [udata_des] "i" (GDT_SELECTOR(UDATA_DES) | PL_USER),
PL_USER 77 kernel/arch/ia32/src/userspace.c [utext_des] "i" (GDT_SELECTOR(UTEXT_DES) | PL_USER),
PL_USER 232 kernel/arch/ia64/src/ia64.c psr.cpl = PL_USER;
PL_USER 241 kernel/arch/ia64/src/ia64.c rsc.pl = PL_USER;
PL_USER 246 kernel/arch/ia64/src/mm/page.c v->present.pl = (flags & PAGE_USER) ? PL_USER : PL_KERNEL;
PL_USER 425 kernel/arch/ia64/src/mm/tlb.c entry.pl = t->k ? PL_KERNEL : PL_USER;
PL_USER 454 kernel/arch/ia64/src/mm/tlb.c entry.pl = t->k ? PL_KERNEL : PL_USER;
PL_USER 552 kernel/arch/ia64/src/mm/tlb.c entry.pl = PL_USER;
HelenOS homepage, sources at GitHub