TEST_FETCH_PROT_OVERRIDE
{ TEST_FETCH_PROT_OVERRIDE, (void *)0x00, 0x10, READ },
{ TEST_FETCH_PROT_OVERRIDE, (void *)2049, 0x10, RW_PROTECTED },
HOST_SYNC(vcpu, TEST_FETCH_PROT_OVERRIDE);