Go cannot use C macros directly, so I followed existing convention and added a helper to uc.c to call the uc_ctl_set_cpu_model macro