MAX_UINT16 62 kernel/genarch/src/softint/multiplication.c a2 = a & MAX_UINT16; MAX_UINT16 64 kernel/genarch/src/softint/multiplication.c b2 = b & MAX_UINT16;