KM_PPC32_NON_IDENTITY_SIZE 48 kernel/arch/ppc32/src/mm/km.c KM_PPC32_NON_IDENTITY_SIZE); KM_PPC32_NON_IDENTITY_SIZE 54 kernel/arch/ppc32/src/mm/km.c KM_PPC32_NON_IDENTITY_SIZE, addr, 1);