br_aes_ct64_keysched
br_aes_ct64_keysched(rk, key, key_len);
u_int br_aes_ct64_keysched(uint64_t[static 30], const void *, size_t);