TEST_SIMPLE
{ TEST_SIMPLE, page_store_prot, 0x00, READ_WRITE },
{ TEST_SIMPLE, page_store_prot, 0x10, READ_WRITE },
{ TEST_SIMPLE, page_store_prot, 0x20, READ },
{ TEST_SIMPLE, page_fetch_prot, 0x00, READ_WRITE },
{ TEST_SIMPLE, page_fetch_prot, 0x90, READ_WRITE },
{ TEST_SIMPLE, page_fetch_prot, 0x10, RW_PROTECTED },
{ TEST_SIMPLE, (void *)0x00, 0x10, TRANSL_UNAVAIL },
HOST_SYNC(vcpu, TEST_SIMPLE);