How does SYS/BIOS save GP registers in C66x in exception handler function

Other Parts Discussed in Thread: SYSBIOS

Hi,
    I am debugging a problem in a customer for what I need to understand how C66x general registers A0-A31 and B0-B31 are saved in the exception handler function Exception_handler .
    In this function we can find below code which can populate the content of the register.

System_printf("A0=0x%x A1=0x%x\n", excp->A0, excp->A1);

   And we can find where the context excp are set

    /* set exception context */
    excp = Exception_module->excContext;

But we can't find where Exception_module->excContext; is set and how this pointer get the content of the registers. Could anybody help to look at this question?

Thanks,

Adam