KERN_arm32_CP15_H_ 37 boot/arch/arm32/include/arch/cp15.h #define KERN_arm32_CP15_H_ KERN_arm32_CP15_H_ 37 kernel/arch/arm32/include/arch/cp15.h #define KERN_arm32_CP15_H_ KERN_arm32_CP15_H_ 37 uspace/lib/c/arch/arm32/include/libarch/cp15.h #define KERN_arm32_CP15_H_HelenOS homepage, sources at GitHub