vmmops_exception
return (vmmops_exception(vcpu->cookie, esr, far));
vmmops_exception(hypctx, esr | fsc, far);
return (vmmops_exception(vcpu->cookie, scause));