HelenOS sources

PL_KERNEL          81 kernel/arch/amd64/include/arch/pm.h #define DPL_KERNEL  (PL_KERNEL << 5)
PL_KERNEL         178 kernel/arch/amd64/src/pm.c 		d->dpl = PL_KERNEL;
PL_KERNEL         287 kernel/arch/amd64/src/pm.c 	tss_desc->dpl = PL_KERNEL;
PL_KERNEL          59 kernel/arch/amd64/src/syscall.c 	    ((uint64_t) (GDT_SELECTOR(KTEXT_DES) | PL_KERNEL) << 32));
PL_KERNEL          75 kernel/arch/ia32/include/arch/pm.h #define DPL_KERNEL  (PL_KERNEL << 5)
PL_KERNEL         246 kernel/arch/ia64/src/mm/page.c 	v->present.pl = (flags & PAGE_USER) ? PL_USER : PL_KERNEL;
PL_KERNEL         381 kernel/arch/ia64/src/mm/tlb.c 	entry.pl = PL_KERNEL;
PL_KERNEL         425 kernel/arch/ia64/src/mm/tlb.c 	entry.pl = t->k ? PL_KERNEL : PL_USER;
PL_KERNEL         454 kernel/arch/ia64/src/mm/tlb.c 	entry.pl = t->k ? PL_KERNEL : PL_USER;
PL_KERNEL          54 kernel/test/mm/purge1.c 	entryd.pl = PL_KERNEL;
PL_KERNEL          66 kernel/test/mm/purge1.c 	entryi.pl = PL_KERNEL;