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

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