HelenOS sources

pte_level1_t       98 kernel/arch/arm32/include/arch/mm/page_armv4.h 	pte_level1_t l1;
pte_level1_t      157 kernel/arch/arm32/include/arch/mm/page_armv4.h 	pte_level1_t *p = &pt[i].l1;
pte_level1_t      210 kernel/arch/arm32/include/arch/mm/page_armv4.h 	pte_level1_t *p = &pt[i].l1;
pte_level1_t      249 kernel/arch/arm32/include/arch/mm/page_armv4.h 	pte_level1_t *p = &pt[i].l1;
pte_level1_t       93 kernel/arch/arm32/include/arch/mm/page_armv6.h 	pte_level1_t l1;
pte_level1_t      184 kernel/arch/arm32/include/arch/mm/page_armv6.h 	const pte_level1_t *p = &pt[i].l1;
pte_level1_t      243 kernel/arch/arm32/include/arch/mm/page_armv6.h 	pte_level1_t *p = &pt[i].l1;
pte_level1_t      311 kernel/arch/arm32/include/arch/mm/page_armv6.h 	pte_level1_t *p = &pt[i].l1;