HelenOS sources

MAX_UINT32         99 kernel/genarch/src/softint/multiplication.c 	a2 = a & (MAX_UINT32);
MAX_UINT32        100 kernel/genarch/src/softint/multiplication.c 	b2 = b & (MAX_UINT32);
MAX_UINT32        110 kernel/genarch/src/softint/multiplication.c 	if (SOFTINT_CHECK_OF && t1 > MAX_UINT32) {