HelenOS sources

FLAG_AS_KERNEL     75 kernel/genarch/src/mm/as_ht.c 	if (flags & FLAG_AS_KERNEL) {
FLAG_AS_KERNEL     80 kernel/genarch/src/mm/as_pt.c 	if (!KERNEL_SEPARATE_PTL0 && !(flags & FLAG_AS_KERNEL)) {
FLAG_AS_KERNEL    158 kernel/generic/src/mm/as.c 	AS_KERNEL = as_create(FLAG_AS_KERNEL);
FLAG_AS_KERNEL    179 kernel/generic/src/mm/as.c 	if (flags & FLAG_AS_KERNEL)