Where are the semaphores registered to BIOS?

Hi,

I am new to BIOS. I am playing with L138LCDK and want to run the example EDMA project at C674X DSP core. I find that there are semaphores declared in main.c:

extern void *AppSemHandle1;
extern void *AppSemHandle2;

They are defined in common.c:

/* Application Sem Handle */
void *AppSemHandle1 = NULL;
/* Application Sem Handle */
void *AppSemHandle2 = NULL;

The BIOS cfg project (edma_drv_bios6_omapl138_st_sample_configuration) does have check mark with semaphore module, but I do not see anywhere with AppSemHandle1 or ..2 inside edma_drv_bios6_omapl138_st_sample_configuration.cfg file.

Does it need to define something in edma_drv_bios6_omapl138_st_sample_configuration.cfg with AppSemHandle1?

Thanks,