invoke_softint
if (&invoke_softint == NULL)
ASSERT(&invoke_softint != NULL);
invoke_softint(cid, ctp->ct_intr);
extern void invoke_softint(processorid_t, ulong_t);