1 /* Generated by Makefile from dirent.c fetch_seccomp_fprog.c fetch_struct_flock.c ipc_msgctl.c ipc_shmctl.c print_mq_attr.c print_msgbuf.c print_sigevent.c print_time.c print_timex.c printrusage.c printsiginfo.c sigaltstack.c sysinfo.c times.c utime.c; do not edit. */ 2 extern bool fetch_seccomp_fprog(struct tcb *tcp, const long addr, void *p); 3 extern bool fetch_struct_flock(struct tcb *tcp, const long addr, void *p); 4 extern bool fetch_struct_flock64(struct tcb *tcp, const long addr, void *p); 5 extern void printmqattr(struct tcb *tcp, const long addr); 6 extern void tprint_msgbuf(struct tcb *tcp, const long addr, const unsigned long count); 7 extern void print_sigevent(struct tcb *tcp, const long addr); 8 extern void print_timespec(struct tcb *tcp, const long addr); 9 extern const char * sprint_timespec(struct tcb *tcp, const long addr); 10 extern void print_timespec_utime_pair(struct tcb *tcp, const long addr); 11 extern void print_itimerspec(struct tcb *tcp, const long addr); 12 extern void print_timeval(struct tcb *tcp, const long addr); 13 extern void print_timeval_pair(struct tcb *tcp, const long addr); 14 extern const char * sprint_timeval(struct tcb *tcp, const long addr); 15 extern void print_itimerval(struct tcb *tcp, const long addr); 16 extern int print_timex(struct tcb *tcp, const long addr); 17 extern void printrusage(struct tcb *tcp, long addr); 18 extern void printsiginfo_at(struct tcb *tcp, long addr); 19