Function miri::shims::x86::sha::shr

fn shr(v: [u32; 4], o: u32) -> [u32; 4]