sca_ext_call_pending
return sca_ext_call_pending(vcpu, NULL);
if (sca_ext_call_pending(vcpu, &scn)) {