Function _sha512sig0l

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