#! /bin/sh

#
# Check invalid IA32 VTOP translation.
#

pf="ia32:12,10,10"
ptes="-e 0x234:0x4000e7"
list="0x123456789"

. "$srcdir"/addrxlat-invalid
