dfx_int_type_0_process
dfx_int_type_0_process(bp); /* process Type 0 interrupts */
static void dfx_int_type_0_process(DFX_board_t *bp);