The invocation type is OR'd into the resulting value. If it is not a call operation, we will end up in the generic return handler or the generic send handler. These are wrappers that reset the invoker state, examine the capability in slot 3, conditionally reset the invokee and target, and then call the handler specified in the CALL slot for that capability. The SEND wrapper fabricates a new thread for the invoker if necessary. Both wrappers return to the main path.
Control now returns to invokee.
Copyright 1998 by Jonathan Shapiro. All rights reserved.