int sys_fanotify_mark(struct tcb *tcp) { unsigned long long mask = 0; int argn; if (exiting(tcp)) return 0; printfd(tcp, tcp->u_arg[0]); tprints(", "); printflags(fan_mark_flags, (unsigned) tcp->u_arg[1], "FAN_MARK_???"); tprints(", "); /* * the mask argument is defined as 64-bit, * but kernel uses the lower 32 bits only. */ argn = getllval(tcp, &mask, 2); printflags(fan_event_flags, mask, "FAN_???"); tprints(", "); if ((int) tcp->u_arg[argn] == FAN_NOFD) tprints("FAN_NOFD, "); else print_dirfd(tcp, tcp->u_arg[argn]); printpath(tcp, tcp->u_arg[argn + 1]); return 0; }
/* * Print 64bit argument at position arg_no and * return the index of the next argument. */ int printllval(struct tcb *tcp, const char *format, int arg_no) { unsigned long long val = 0; arg_no = getllval(tcp, &val, arg_no); tprintf(format, val); return arg_no; }