#include #include "tweakey.h" static void _dump_buffer(FILE *output, size_t len, const uint8_t buf[len], int indent) { for (size_t line=0; lineTK, tweak, TWEAK_BYTES); memcpy(TK->TK+TWEAK_BYTES, key, KEY_BYTES); fprintf(debug, " Tweak is :\n"); _dump_buffer(debug, TWEAK_BYTES, tweak, 5); fprintf(debug, " Key is :\n"); _dump_buffer(debug, KEY_BYTES, key, 5); fprintf(debug, " Tweakey is :\n"); _dump_buffer(debug, sizeof(TK->TK), TK->TK, 5); } void tweakey_state_extract( __attribute__((unused)) const tweakey_state *TK, __attribute__((unused)) uint8_t round_tweakey[ROUND_TWEAKEY_BYTES], /* output */ __attribute__((unused)) uint8_t i /* round constant */ ) { } void tweakey_state_update(__attribute__((unused)) tweakey_state *TK) { }