pub unsafe extern "C" fn TEE_BigIntShiftRight( dest: *mut TEE_BigInt, op: *mut TEE_BigInt, bits: usize, )