HelenOS sources

PTL0_INDEX         91 kernel/genarch/src/mm/as_pt.c 		    &src_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)];
PTL0_INDEX         93 kernel/genarch/src/mm/as_pt.c 		    &dst_ptl0[PTL0_INDEX(KERNEL_ADDRESS_SPACE_START)];
PTL0_INDEX         86 kernel/genarch/src/mm/page_pt.c 	if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT) {
PTL0_INDEX         90 kernel/genarch/src/mm/page_pt.c 		SET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page), KA2PA(newpt));
PTL0_INDEX         91 kernel/genarch/src/mm/page_pt.c 		SET_PTL1_FLAGS(ptl0, PTL0_INDEX(page),
PTL0_INDEX        100 kernel/genarch/src/mm/page_pt.c 		SET_PTL1_PRESENT(ptl0, PTL0_INDEX(page));
PTL0_INDEX        103 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
PTL0_INDEX        169 kernel/genarch/src/mm/page_pt.c 	if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT)
PTL0_INDEX        172 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
PTL0_INDEX        222 kernel/genarch/src/mm/page_pt.c 		memsetb(&ptl0[PTL0_INDEX(page)], sizeof(pte_t), 0);
PTL0_INDEX        256 kernel/genarch/src/mm/page_pt.c 		memsetb(&ptl0[PTL0_INDEX(page)], sizeof(pte_t), 0);
PTL0_INDEX        288 kernel/genarch/src/mm/page_pt.c 		memsetb(&ptl0[PTL0_INDEX(page)], sizeof(pte_t), 0);
PTL0_INDEX        299 kernel/genarch/src/mm/page_pt.c 	if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT)
PTL0_INDEX        304 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
PTL0_INDEX        418 kernel/genarch/src/mm/page_pt.c 		if (GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(addr)) != 0) {
PTL0_INDEX        431 kernel/genarch/src/mm/page_pt.c 		SET_PTL1_ADDRESS(ptl0, PTL0_INDEX(addr), KA2PA(l1));
PTL0_INDEX        432 kernel/genarch/src/mm/page_pt.c 		SET_PTL1_FLAGS(ptl0, PTL0_INDEX(addr),