#! /bin/sh

#
# Check invalid x86_64 VTOP translation.
#

pf="x86_64:12,9,9,9,9"
ptes="-e 0x0:0x1067 -e 0x7f8:0x2067 -e 0x800:0x1067 -e 0x1000:0xe7 -e 0x2ff8:0xe7"
list="0x800000000000 0x8000000000000000 0xffff7fffffffffff"

. "$srcdir"/addrxlat-invalid
