Trying to port to a Tensilica Extensa processor and working through the examples. In example 12 there is a call to portSWITCH_CONTEXT().
What is this expected to do?