HelenOS sources

PTE_GET_FRAME_ARCH  121 kernel/arch/abs32le/include/arch/mm/page.h #define PTE_GET_FRAME_ARCH(p) \
PTE_GET_FRAME_ARCH  150 kernel/arch/amd64/include/arch/mm/page.h #define PTE_GET_FRAME_ARCH(p) \
PTE_GET_FRAME_ARCH   51 kernel/arch/arm32/include/arch/mm/page_armv4.h #define PTE_GET_FRAME_ARCH(pte) \
PTE_GET_FRAME_ARCH   48 kernel/arch/arm32/include/arch/mm/page_armv6.h #define PTE_GET_FRAME_ARCH(pte) \
PTE_GET_FRAME_ARCH  154 kernel/arch/arm64/include/arch/mm/page.h #define PTE_GET_FRAME_ARCH(pte) \
PTE_GET_FRAME_ARCH  137 kernel/arch/ia32/include/arch/mm/page.h #define PTE_GET_FRAME_ARCH(p) \
PTE_GET_FRAME_ARCH  143 kernel/arch/mips32/include/arch/mm/page.h #define PTE_GET_FRAME_ARCH(pte)		((pte)->pfn << 12)
PTE_GET_FRAME_ARCH  143 kernel/arch/ppc32/include/arch/mm/page.h #define PTE_GET_FRAME_ARCH(pte)   ((pte)->pfn << 12)
PTE_GET_FRAME_ARCH  157 kernel/arch/riscv64/include/arch/mm/page.h #define PTE_GET_FRAME_ARCH(pte)   ((uintptr_t) (pte)->pfn << 12)