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