HelenOS sources
boot/arch/arm32/include/arch/mm.h
boot/arch/riscv64/include/arch/mm.h
kernel/generic/include/mm/mm.h
HelenOS homepage
,
sources at GitHub