TEST_EXEC_GVA
int (*code)(void) = (int (*)(void))TEST_EXEC_GVA;
assert(TEST_EXEC_GVA > TEST_GVA);
code = hva + TEST_EXEC_GVA - TEST_GVA;