# define FAN_NOFD -1
#endif
-int
-sys_fanotify_init(struct tcb *tcp)
+SYS_FUNC(fanotify_init)
{
unsigned flags;
#include "xlat/fan_mark_flags.h"
#include "xlat/fan_event_flags.h"
-int
-sys_fanotify_mark(struct tcb *tcp)
+SYS_FUNC(fanotify_mark)
{
unsigned long long mask = 0;
int argn;
* but kernel uses the lower 32 bits only.
*/
argn = getllval(tcp, &mask, 2);
+#ifdef HPPA
+ /* Parsic is weird. See arch/parisc/kernel/sys_parisc32.c. */
+ mask = (mask << 32) | (mask >> 32);
+#endif
printflags(fan_event_flags, mask, "FAN_???");
tprints(", ");
if ((int) tcp->u_arg[argn] == FAN_NOFD)