#! /bin/sh

#
# Check simple VTOP translation.
#

pf="ia32:12,10,10"

ptes="-e 0x0000:0x1067 -e 0x0004:0x2067 -e 0x1000:0xa067 -e 0x1004:0xb067 -e 0x2000:0xc067 -e 0x0008:0x4000e7"

list="0x123:0xa123 0x1234:0xb234 0x400567:0xc567 0x923456:0x523456"

. "$srcdir"/addrxlat-common
