HelenOS sources

PTE_GET_FRAME     363 kernel/genarch/src/mm/page_pt.c 	assert(PTE_GET_FRAME(t) == PTE_GET_FRAME(pte));
PTE_GET_FRAME      79 kernel/generic/src/ipc/ops/pagein.c 			frame = PTE_GET_FRAME(&pte);
PTE_GET_FRAME    1021 kernel/generic/src/mm/as.c 					    PTE_GET_FRAME(&pte));
PTE_GET_FRAME    1131 kernel/generic/src/mm/as.c 				    PTE_GET_FRAME(&pte));
PTE_GET_FRAME    1431 kernel/generic/src/mm/as.c 			old_frame[frame_idx++] = PTE_GET_FRAME(&pte);
PTE_GET_FRAME     143 kernel/generic/src/mm/backend_anon.c 			    (base + P2SZ(j)) - area->base, PTE_GET_FRAME(&pte));
PTE_GET_FRAME     146 kernel/generic/src/mm/backend_anon.c 			pfn_t pfn = ADDR2PFN(PTE_GET_FRAME(&pte));
PTE_GET_FRAME     215 kernel/generic/src/mm/backend_elf.c 			    PTE_GET_FRAME(&pte));
PTE_GET_FRAME     218 kernel/generic/src/mm/backend_elf.c 			pfn_t pfn = ADDR2PFN(PTE_GET_FRAME(&pte));
PTE_GET_FRAME     345 kernel/generic/src/mm/backend_elf.c 			frame = PTE_GET_FRAME(&pte);
PTE_GET_FRAME     203 kernel/generic/src/mm/page.c 	*phys = PTE_GET_FRAME(&pte) +
HelenOS homepage, sources at GitHub