HelenOS sources

MAX_INT64         104 kernel/genarch/src/softint/multiplication.c 		return (neg ? MIN_INT64 : MAX_INT64);
MAX_INT64         112 kernel/genarch/src/softint/multiplication.c 		return (neg ? MIN_INT64 : MAX_INT64);
MAX_INT64         125 kernel/genarch/src/softint/multiplication.c 		return (neg ? MIN_INT64 : MAX_INT64);