ARRAY_RANGE 164 kernel/arch/abs32le/include/arch/mm/page.h WRITES(ARRAY_RANGE(pt, PTL0_ENTRIES_ARCH)) ARRAY_RANGE 183 kernel/arch/abs32le/include/arch/mm/page.h WRITES(ARRAY_RANGE(pt, PTL0_ENTRIES_ARCH))