br_aes_ct64_bitslice_decrypt
br_aes_ct64_bitslice_decrypt(nrounds, sk_exp, q);
br_aes_ct64_bitslice_decrypt(nrounds, sk_exp, q);
br_aes_ct64_bitslice_decrypt(nrounds, sk_exp, q);
br_aes_ct64_bitslice_decrypt(nrounds, sk_exp, q);
br_aes_ct64_bitslice_decrypt(nrounds, sk_exp, q);
void br_aes_ct64_bitslice_decrypt(unsigned, const uint64_t[static 120],