Function vacq 

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

Available on s390x and non-target_abi=softfloat only.