I have seen the following examples in a .tcf file (for CCS5 DSP/BIOS 5.41.13.42):
bios.PRD_5ms.fxn = prog.extern("SWI_post");
bios.PRD_5ms.arg0 = prog.extern("SWI_5ms");
and
bios.PRD_5ms.fxn = prog.extern("SWI_5ms");
What is the difference? Why would I need to use SWI_post?