u32 w0_t[4];
- w0_t[0] = swap_workaround (salt_buf0[0]);
- w0_t[1] = swap_workaround (salt_buf0[1]);
- w0_t[2] = swap_workaround (salt_buf0[2]);
- w0_t[3] = swap_workaround (salt_buf0[3]);
+ w0_t[0] = swap32 (salt_buf0[0]);
+ w0_t[1] = swap32 (salt_buf0[1]);
+ w0_t[2] = swap32 (salt_buf0[2]);
+ w0_t[3] = swap32 (salt_buf0[3]);
u32 w1_t[4];
- w1_t[0] = swap_workaround (salt_buf1[0]);
- w1_t[1] = swap_workaround (salt_buf1[1]);
- w1_t[2] = swap_workaround (salt_buf1[2]);
- w1_t[3] = swap_workaround (salt_buf1[3]);
+ w1_t[0] = swap32 (salt_buf1[0]);
+ w1_t[1] = swap32 (salt_buf1[1]);
+ w1_t[2] = swap32 (salt_buf1[2]);
+ w1_t[3] = swap32 (salt_buf1[3]);
u32 w2_t[4];
u32 w0_t[4];
- w0_t[0] = swap_workaround (salt_buf0[0]);
- w0_t[1] = swap_workaround (salt_buf0[1]);
- w0_t[2] = swap_workaround (salt_buf0[2]);
- w0_t[3] = swap_workaround (salt_buf0[3]);
+ w0_t[0] = swap32 (salt_buf0[0]);
+ w0_t[1] = swap32 (salt_buf0[1]);
+ w0_t[2] = swap32 (salt_buf0[2]);
+ w0_t[3] = swap32 (salt_buf0[3]);
u32 w1_t[4];
- w1_t[0] = swap_workaround (salt_buf1[0]);
- w1_t[1] = swap_workaround (salt_buf1[1]);
- w1_t[2] = swap_workaround (salt_buf1[2]);
- w1_t[3] = swap_workaround (salt_buf1[3]);
+ w1_t[0] = swap32 (salt_buf1[0]);
+ w1_t[1] = swap32 (salt_buf1[1]);
+ w1_t[2] = swap32 (salt_buf1[2]);
+ w1_t[3] = swap32 (salt_buf1[3]);
u32 w2_t[4];