#!/bin/sh

# Check userfaultfd syscall decoding.

. "${srcdir=.}/init.sh"

run_prog > /dev/null
OUT="$LOG.out"
run_strace -a38 -euserfaultfd $args > "$OUT"
match_diff "$LOG" "$OUT"
rm -f "$OUT"

exit 0