18 lines
363 B
C
18 lines
363 B
C
#include "syslib.h"
|
|
|
|
int sys_exec(endpoint_t proc_ep, char *stack_ptr, char *progname,
|
|
vir_bytes pc, vir_bytes ps_str)
|
|
{
|
|
/* A process has exec'd. Tell the kernel. */
|
|
|
|
message m;
|
|
|
|
m.PR_ENDPT = proc_ep;
|
|
m.PR_STACK_PTR = stack_ptr;
|
|
m.PR_NAME_PTR = progname;
|
|
m.PR_IP_PTR = (char *)pc;
|
|
m.PR_PS_STR_PTR = (char *)ps_str;
|
|
|
|
return _kernel_call(SYS_EXEC, &m);
|
|
}
|