Function vacq

unsafe extern "unadjusted" fn vacq(a: u128, b: u128, c: u128) -> u128

Available on s390x only.