HelenOS sources
FRAME_WIDTH 38 kernel/arch/abs32le/include/arch/mm/frame.h #define FRAME_WIDTH 12 /* 4K */
FRAME_WIDTH 38 kernel/arch/amd64/include/arch/mm/frame.h #define FRAME_WIDTH 12 /* 4K */
FRAME_WIDTH 39 kernel/arch/arm32/include/arch/mm/frame.h #define FRAME_WIDTH 12 /* 4KB frames */
FRAME_WIDTH 41 kernel/arch/arm64/include/arch/mm/frame.h #define FRAME_WIDTH 12 /* 4KB frames */
FRAME_WIDTH 38 kernel/arch/ia32/include/arch/mm/frame.h #define FRAME_WIDTH 12 /* 4K */
FRAME_WIDTH 38 kernel/arch/ia64/include/arch/mm/frame.h #define FRAME_WIDTH 14 /* 16K */
FRAME_WIDTH 38 kernel/arch/mips32/include/arch/mm/frame.h #define FRAME_WIDTH 14 /* 16K */
FRAME_WIDTH 38 kernel/arch/ppc32/include/arch/mm/frame.h #define FRAME_WIDTH 12 /* 4K */
FRAME_WIDTH 38 kernel/arch/riscv64/include/arch/mm/frame.h #define FRAME_WIDTH 12 /* 4 KiB */
FRAME_WIDTH 51 kernel/arch/sparc64/include/arch/mm/sun4u/frame.h #define FRAME_WIDTH 14 /* 16K */
FRAME_WIDTH 41 kernel/arch/sparc64/include/arch/mm/sun4v/frame.h #define FRAME_WIDTH 13
HelenOS homepage, sources at GitHub