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