KM_ARM32_NON_IDENTITY_SIZE 49 kernel/arch/arm32/src/mm/km.c KM_ARM32_NON_IDENTITY_SIZE); KM_ARM32_NON_IDENTITY_SIZE 55 kernel/arch/arm32/src/mm/km.c KM_ARM32_NON_IDENTITY_SIZE, addr, 1);