/**
* Author......: See docs/credits.txt
* License.....: MIT
*/
DECLSPEC void xts_mul2 (u32 *in, u32 *out);