HelenOS sources

KERN_arm32_CP15_H_   36 boot/arch/arm32/include/arch/cp15.h #ifndef KERN_arm32_CP15_H_
KERN_arm32_CP15_H_   36 kernel/arch/arm32/include/arch/cp15.h #ifndef KERN_arm32_CP15_H_
KERN_arm32_CP15_H_   36 uspace/lib/c/arch/arm32/include/libarch/cp15.h #ifndef KERN_arm32_CP15_H_

HelenOS homepage, sources at GitHub