UCALL_UNHANDLED
ucall(UCALL_UNHANDLED, 3, vector, ec, valid_ec);
if (get_ucall(vcpu, &uc) != UCALL_UNHANDLED)
if (get_ucall(vcpu, &uc) != UCALL_UNHANDLED)
ucall(UCALL_UNHANDLED, 3, pc, estat, badv);
ucall(UCALL_UNHANDLED, 2, vector, ec);
if (get_ucall(vcpu, &uc) == UCALL_UNHANDLED) {