Function miri::shims::x86::aesni::aes_round

fn aes_round<'tcx>(
    this: &mut MiriInterpCx<'_, 'tcx>,
    state: &OpTy<'tcx, Provenance>,
    key: &OpTy<'tcx, Provenance>,
    dest: &MPlaceTy<'tcx, Provenance>,
    f: impl Fn(u128, u128) -> u128
) -> InterpResult<'tcx, ()>