br_aes_ct64_inv_mix_columns
void br_aes_ct64_inv_mix_columns(uint64_t[static 8]);
br_aes_ct64_inv_mix_columns(q);