789 #define SL32OR32(x32, y32) (((u64)x32 << 32) | y32)  macro
808 	tmp[2] = SL32OR32(product[11], (product[10]>>32));	//a22||a21  in vli_mmod_fast_384()
825 	tmp[0] = SL32OR32(product[11], (product[10]>>32));	//a22||a21  in vli_mmod_fast_384()
826 	tmp[1] = SL32OR32(product[6], (product[11]>>32));	//a12||a23  in vli_mmod_fast_384()
827 	tmp[2] = SL32OR32(product[7], (product[6])>>32);	//a14||a13  in vli_mmod_fast_384()
828 	tmp[3] = SL32OR32(product[8], (product[7]>>32));	//a16||a15  in vli_mmod_fast_384()
829 	tmp[4] = SL32OR32(product[9], (product[8]>>32));	//a18||a17  in vli_mmod_fast_384()
830 	tmp[5] = SL32OR32(product[10], (product[9]>>32));	//a20||a19  in vli_mmod_fast_384()
861 	tmp[0] = SL32OR32(product[6], (product[11]>>32));	//a12||a23  in vli_mmod_fast_384()
862 	tmp[1] = SL32OR32(product[7], (product[6]>>32));	//a14||a13  in vli_mmod_fast_384()
863 	tmp[2] = SL32OR32(product[8], (product[7]>>32));	//a16||a15  in vli_mmod_fast_384()
864 	tmp[3] = SL32OR32(product[9], (product[8]>>32));	//a18||a17  in vli_mmod_fast_384()
865 	tmp[4] = SL32OR32(product[10], (product[9]>>32));	//a20||a19  in vli_mmod_fast_384()
866 	tmp[5] = SL32OR32(product[11], (product[10]>>32));	//a22||a21  in vli_mmod_fast_384()
871 	tmp[1] = SL32OR32(product[11], (product[10]>>32));	//a22||a21  in vli_mmod_fast_384()
898 #undef SL32OR32