HelenOS sources

SET_FRAME_PRESENT_ARCH  113 kernel/arch/abs32le/include/arch/mm/page.h #define SET_FRAME_PRESENT_ARCH(ptl3, i) \
SET_FRAME_PRESENT_ARCH  142 kernel/arch/amd64/include/arch/mm/page.h #define SET_FRAME_PRESENT_ARCH(ptl3, i) \
SET_FRAME_PRESENT_ARCH  130 kernel/arch/arm32/include/arch/mm/page.h #define SET_FRAME_PRESENT_ARCH(ptl3, i) \
SET_FRAME_PRESENT_ARCH  146 kernel/arch/arm64/include/arch/mm/page.h #define SET_FRAME_PRESENT_ARCH(ptl3, i) \
SET_FRAME_PRESENT_ARCH  129 kernel/arch/ia32/include/arch/mm/page.h #define SET_FRAME_PRESENT_ARCH(ptl3, i) \
SET_FRAME_PRESENT_ARCH  137 kernel/arch/mips32/include/arch/mm/page.h #define SET_FRAME_PRESENT_ARCH(ptl3, i) \
SET_FRAME_PRESENT_ARCH  137 kernel/arch/ppc32/include/arch/mm/page.h #define SET_FRAME_PRESENT_ARCH(ptl3, i) \
SET_FRAME_PRESENT_ARCH  151 kernel/arch/riscv64/include/arch/mm/page.h #define SET_FRAME_PRESENT_ARCH(ptl3, i) \