HelenOS sources

mul                96 boot/genarch/src/multiplication.c 	unsigned long long t1 = mul(a1, b2) + mul(b1, a2);
mul               104 boot/genarch/src/multiplication.c 	unsigned long long t2 = mul(a2, b2);
mul               108 kernel/genarch/src/softint/multiplication.c 	t1 = mul(a1, b2) + mul(b1, a2);
mul               116 kernel/genarch/src/softint/multiplication.c 	t2 = mul(a2, b2);