3 int sys_exec(endpoint_t proc_ep
, vir_bytes stack_ptr
, vir_bytes progname
,
4 vir_bytes pc
, vir_bytes ps_str
)
6 /* A process has exec'd. Tell the kernel. */
10 m
.m_lsys_krn_sys_exec
.endpt
= proc_ep
;
11 m
.m_lsys_krn_sys_exec
.stack
= stack_ptr
;
12 m
.m_lsys_krn_sys_exec
.name
= progname
;
13 m
.m_lsys_krn_sys_exec
.ip
= pc
;
14 m
.m_lsys_krn_sys_exec
.ps_str
= ps_str
;
16 return _kernel_call(SYS_EXEC
, &m
);