int inst_do_execve (char * filename, char __user *__user *argv, char __user *__user *envp, struct pt_regs * regs) { struct map_node_str *ptr;
_stp_copy_argv_from_user (arglist, argv);
foreach (arglist, ptr) printk ("%s ", ptr->str); printk ("\n");