HelenOS sources

REQUIRES_ARRAY_MUTABLE  150 kernel/arch/abs32le/include/arch/mm/page.h     REQUIRES_ARRAY_MUTABLE(pt, PTL0_ENTRIES_ARCH)
REQUIRES_ARRAY_MUTABLE  165 kernel/arch/abs32le/include/arch/mm/page.h     REQUIRES_ARRAY_MUTABLE(pt, PTL0_ENTRIES_ARCH)
REQUIRES_ARRAY_MUTABLE  184 kernel/arch/abs32le/include/arch/mm/page.h     REQUIRES_ARRAY_MUTABLE(pt, PTL0_ENTRIES_ARCH)

HelenOS homepage, sources at GitHub