HelenOS sources

pte_level0_section_t   42 boot/arch/arm32/include/arch/asm.h extern pte_level0_section_t boot_pt[PTL0_ENTRIES];
pte_level0_section_t  137 boot/arch/arm32/src/mm.c static void init_ptl0_section(pte_level0_section_t *pte,