valid_context
if (valid_context(ctx1) && same_context(ctx0, ctx)) {
} else if ((!valid_context(ctx1) && same_context(ctx0, ctx))
|| (valid_context(ctx1) && same_context(ctx1, ctx))) {
if ((valid_context(ctx1) && same_context(ctx1, &slot->ctx[0]) &&
(!valid_context(ctx1) &&
bool valid_context = false;
valid_context = true;
if (!valid_context || handle->resource == VMCI_INVALID_ID) {