483 exec_save_path(struct image_params *imgp, user_addr_t path, int seg, const char **excpath)  in exec_save_path()  argument
516 		if (excpath) {  in exec_save_path()
517 			*excpath = imgp->ip_strings + strlen(EXECUTABLE_KEY);  in exec_save_path()
1110 		const char *excpath;  in exec_mach_imgact()  local
1111 		error = exec_save_path(imgp, imgp->ip_user_fname, imgp->ip_seg, &excpath);  in exec_mach_imgact()
1112 …(OS_LOG_DEFAULT, "Unsupported 32-bit executable: \"%s\"", (error) ? imgp->ip_vp->v_name : excpath);  in exec_mach_imgact()
1789 	const char *excpath;  in exec_activate_image()  local
1802 	error = exec_save_path(imgp, imgp->ip_user_fname, imgp->ip_seg, &excpath);  in exec_activate_image()
1808 	DTRACE_PROC1(exec, uintptr_t, excpath);  in exec_activate_image()
1813 	    UIO_SYSSPACE, CAST_USER_ADDR_T(excpath), imgp->ip_vfs_context);  in exec_activate_image()
1922 			    UIO_SYSSPACE, CAST_USER_ADDR_T(excpath), imgp->ip_vfs_context);  in exec_activate_image()