Function miri::shims::x86::sha::sha256load

source ยท 
fn sha256load(v2: [u32; 4], v3: [u32; 4]) -> [u32; 4]