81#if defined(BOTAN_HAS_KECCAK_PERM_BMI2)
83 return permute_bmi2();
87 static const uint64_t RC[24] = {0x0000000000000001, 0x0000000000008082, 0x800000000000808A, 0x8000000080008000,
88 0x000000000000808B, 0x0000000080000001, 0x8000000080008081, 0x8000000000008009,
89 0x000000000000008A, 0x0000000000000088, 0x0000000080008009, 0x000000008000000A,
90 0x000000008000808B, 0x800000000000008B, 0x8000000000008089, 0x8000000000008003,
91 0x8000000000008002, 0x8000000000000080, 0x000000000000800A, 0x800000008000000A,
92 0x8000000080008081, 0x8000000000008080, 0x0000000080000001, 0x8000000080008008};
96 for(
size_t i = 0; i != 24; i += 2) {