1 #include "syslib.h" 2 sys_exec(endpoint_t proc_ep,vir_bytes stack_ptr,vir_bytes progname,vir_bytes pc,vir_bytes ps_str)3int sys_exec(endpoint_t proc_ep, vir_bytes stack_ptr, vir_bytes progname, 4 vir_bytes pc, vir_bytes ps_str) 5 { 6 /* A process has exec'd. Tell the kernel. */ 7 8 message m; 9 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; 15 16 return _kernel_call(SYS_EXEC, &m); 17 } 18