HelenOS sources

PL_KERNEL          69 kernel/arch/amd64/include/arch/pm.h #define PL_KERNEL  0
PL_KERNEL          63 kernel/arch/ia32/include/arch/pm.h #define PL_KERNEL  0
PL_KERNEL          79 kernel/arch/ia64/include/arch/mm/page.h #define PL_KERNEL  PSR_CPL_KERNEL