Fix parameter types for sys_proc_create() (XCC)