extcomp_args       63 ckptserializer.cpp static int open_ckpt_to_write(int fd, int pipe_fds[2], char **extcomp_args);
extcomp_args      315 ckptserializer.cpp open_ckpt_to_write(int fd, int pipe_fds[2], char **extcomp_args)
extcomp_args      321 ckptserializer.cpp     JWARNING(false) (extcomp_args[0]) (JASSERT_ERRNO)
extcomp_args      365 ckptserializer.cpp     _real_execve(extcomp_args[0], extcomp_args, NULL);