HelenOS sources
pte_level0_t 97 kernel/arch/arm32/include/arch/mm/page_armv4.h pte_level0_t l0;
pte_level0_t 141 kernel/arch/arm32/include/arch/mm/page_armv4.h pte_level0_t *p = &pt[i].l0;
pte_level0_t 182 kernel/arch/arm32/include/arch/mm/page_armv4.h pte_level0_t *p = &pt[i].l0;
pte_level0_t 240 kernel/arch/arm32/include/arch/mm/page_armv4.h pte_level0_t *p = &pt[i].l0;
pte_level0_t 92 kernel/arch/arm32/include/arch/mm/page_armv6.h pte_level0_t l0;
pte_level0_t 168 kernel/arch/arm32/include/arch/mm/page_armv6.h const pte_level0_t *p = &pt[i].l0;
pte_level0_t 210 kernel/arch/arm32/include/arch/mm/page_armv6.h pte_level0_t *p = &pt[i].l0;
pte_level0_t 301 kernel/arch/arm32/include/arch/mm/page_armv6.h pte_level0_t *p = &pt[i].l0;
HelenOS homepage, sources at GitHub