sys_cpuset_getdomain
{ .sy_narg = AS(cpuset_getdomain_args), .sy_call = (sy_call_t *)sys_cpuset_getdomain, .sy_auevent = AUE_NULL, .sy_flags = SYF_CAPENABLED, .sy_thrcnt = SY_THR_STATIC }, /* 561 = cpuset_getdomain */
int sys_cpuset_getdomain(struct thread *, struct cpuset_getdomain_args *);