Symbol: MP_MUL_DxD
usr/src/common/mpi/mpi.c
3949
MP_MUL_DxD(a_i, b, a1b1, a0b0);
usr/src/common/mpi/mpi.c
3981
MP_MUL_DxD(a_i, b, a1b1, a0b0);
usr/src/common/mpi/mpi.c
4021
MP_MUL_DxD(a_i, b, a1b1, a0b0);