HelenOS sources

pt_coherence      169 kernel/arch/arm32/include/arch/mm/page.h 	pt_coherence(&pt[i].l0);
pt_coherence      175 kernel/arch/arm32/include/arch/mm/page.h 	pt_coherence(&pt[i].l1);
pt_coherence      227 kernel/arch/arm32/include/arch/mm/page_armv6.h 	pt_coherence(p);
pt_coherence      296 kernel/arch/arm32/include/arch/mm/page_armv6.h 	pt_coherence(p);
pt_coherence      306 kernel/arch/arm32/include/arch/mm/page_armv6.h 	pt_coherence(p);
pt_coherence      314 kernel/arch/arm32/include/arch/mm/page_armv6.h 	pt_coherence(p);
HelenOS homepage, sources at GitHub