#!/bin/sh -efu
# Generated by ./tests/gen_tests.sh from ./tests/gen_tests.in (move_pages--pidns-translation test_pidns -s3 -e trace=move_pages); do not edit.
. "${srcdir=.}/init.sh"
test_pidns -s3 -e trace=move_pages
#!/bin/sh -efu
# Generated by ./tests/gen_tests.sh from ./tests/gen_tests.in (move_pages--pidns-translation test_pidns -s3 -e trace=move_pages); do not edit.
. "${srcdir=.}/init.sh"
test_pidns -s3 -e trace=move_pages