Function rust_aes_proofs::aes_low_level::aes_ni::pot_verify_pipelined_x4_low_level

pub fn pot_verify_pipelined_x4_low_level(
    keys_reg: [__m128i; 11], 
    expected_reg: [__m128i; 4], 
    blocks_reg: [__m128i; 4], 
    aes_iterations: usize
) -> bool