Symbol: mac_veriexec_syscall_params_args