HelenOS sources

PTL0_ENTRIES_ARCH  150 kernel/arch/abs32le/include/arch/mm/page.h     REQUIRES_ARRAY_MUTABLE(pt, PTL0_ENTRIES_ARCH)
PTL0_ENTRIES_ARCH  164 kernel/arch/abs32le/include/arch/mm/page.h     WRITES(ARRAY_RANGE(pt, PTL0_ENTRIES_ARCH))
PTL0_ENTRIES_ARCH  165 kernel/arch/abs32le/include/arch/mm/page.h     REQUIRES_ARRAY_MUTABLE(pt, PTL0_ENTRIES_ARCH)
PTL0_ENTRIES_ARCH  183 kernel/arch/abs32le/include/arch/mm/page.h     WRITES(ARRAY_RANGE(pt, PTL0_ENTRIES_ARCH))
PTL0_ENTRIES_ARCH  184 kernel/arch/abs32le/include/arch/mm/page.h     REQUIRES_ARRAY_MUTABLE(pt, PTL0_ENTRIES_ARCH)
PTL0_ENTRIES_ARCH   55 kernel/genarch/include/genarch/mm/page_pt.h #define PTL0_ENTRIES  PTL0_ENTRIES_ARCH