同步中断在P4080里以什么形式发送信号，我该如何释放信号量给分系统

[在C与CPP间徘徊]

主函数（部分）
外部发送同步信号，接收到信号后调用中断函数

FpgaDelayInit(ISR_DELAY);/*延时*/
FpgaDioInit(BackIsr/*回调函数*/,0xff); /*FpgaDioInit(函数,0xff)*/
FpgaDioEn();/*使能*/



子函数1

int BackIsr(条件中使用的变量)
{
if（写个条件）
{
semGive(semSendSuccess1);
}
}

子函数2
int testTask(void)
{
TEST t;

t.a=0x11;
t.b=0x22;
t.c=0x44;
t.d=0x11;
t.e=0x22;
t.f=0x44;
t.g=0xAA;
t.h=0xFF;

while(1)
{
semTake(g_semsendzt,WAIT_FOREVER);
if(g_sendzt)/*g_sendzt=1*/
{
sendvpxBusData(8, (char *)&t, sizeof(t), 1);
}

}
}