HelenOS sources

KM_RISCV64_NON_IDENTITY_SIZE   48 kernel/arch/riscv64/src/mm/km.c 	    KM_RISCV64_NON_IDENTITY_SIZE);
KM_RISCV64_NON_IDENTITY_SIZE   54 kernel/arch/riscv64/src/mm/km.c 	    KM_RISCV64_NON_IDENTITY_SIZE, addr, 1);