792 #define SL32OR32(x32, y32) (((u64)x32 << 32) | y32)  macro
811 	tmp[2] = SL32OR32(product[11], (product[10]>>32));	//a22||a21  in vli_mmod_fast_384()
828 	tmp[0] = SL32OR32(product[11], (product[10]>>32));	//a22||a21  in vli_mmod_fast_384()
829 	tmp[1] = SL32OR32(product[6], (product[11]>>32));	//a12||a23  in vli_mmod_fast_384()
830 	tmp[2] = SL32OR32(product[7], (product[6])>>32);	//a14||a13  in vli_mmod_fast_384()
831 	tmp[3] = SL32OR32(product[8], (product[7]>>32));	//a16||a15  in vli_mmod_fast_384()
832 	tmp[4] = SL32OR32(product[9], (product[8]>>32));	//a18||a17  in vli_mmod_fast_384()
833 	tmp[5] = SL32OR32(product[10], (product[9]>>32));	//a20||a19  in vli_mmod_fast_384()
864 	tmp[0] = SL32OR32(product[6], (product[11]>>32));	//a12||a23  in vli_mmod_fast_384()
865 	tmp[1] = SL32OR32(product[7], (product[6]>>32));	//a14||a13  in vli_mmod_fast_384()
866 	tmp[2] = SL32OR32(product[8], (product[7]>>32));	//a16||a15  in vli_mmod_fast_384()
867 	tmp[3] = SL32OR32(product[9], (product[8]>>32));	//a18||a17  in vli_mmod_fast_384()
868 	tmp[4] = SL32OR32(product[10], (product[9]>>32));	//a20||a19  in vli_mmod_fast_384()
869 	tmp[5] = SL32OR32(product[11], (product[10]>>32));	//a22||a21  in vli_mmod_fast_384()
874 	tmp[1] = SL32OR32(product[11], (product[10]>>32));	//a22||a21  in vli_mmod_fast_384()
901 #undef SL32OR32