Searched defs:IrqStatus (Results 1 – 3 of 3) sorted by relevance
205 void shell_switch_ipc_int(VOID *Data, u32 IrqStatus, u32 ChanNum) in shell_switch_ipc_int()
404 void km4_tickless_ipc_int(VOID *Data, u32 IrqStatus, u32 ChanNum) in km4_tickless_ipc_int()
30 void FLASH_Write_IPC_Int(VOID *Data, u32 IrqStatus, u32 ChanNum) in FLASH_Write_IPC_Int()
Completed in 5 milliseconds