Function vacccq 

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

Available on s390x only.