3 int sys_exec(proc_ep
, ptr
, prog_name
, initpc
)
4 endpoint_t proc_ep
; /* process that did exec */
5 char *ptr
; /* new stack pointer */
6 char *prog_name
; /* name of the new program */
9 /* A process has exec'd. Tell the kernel. */
15 m
.PR_NAME_PTR
= prog_name
;
16 m
.PR_IP_PTR
= (char *)initpc
;
17 return(_kernel_call(SYS_EXEC
, &m
));