HelenOS sources

pt_coherence_m    126 kernel/arch/arm32/include/arch/mm/page_armv4.h #define pt_coherence_m(pt, count) \
pt_coherence_m    153 kernel/arch/arm32/include/arch/mm/page_armv6.h #define pt_coherence_m(pt, count) \
HelenOS homepage, sources at GitHub