Function _sha512sig0h
pub(in ::core_arch::riscv32::zk) unsafe extern ""unadjusted"" fn _sha512sig0h(rs1: i32, rs2: i32) -> i32_sha512sig0hpub(in ::core_arch::riscv32::zk) unsafe extern ""unadjusted"" fn _sha512sig0h(rs1: i32, rs2: i32) -> i32