INVEPT_ALL_CONTEXTS
ASSERT(flag == INVEPT_SINGLE_CONTEXT || flag == INVEPT_ALL_CONTEXTS);
flag = INVEPT_ALL_CONTEXTS;
xc_call((xc_arg_t)INVEPT_ALL_CONTEXTS, 0, 0,