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