Symbol: TX_INTR
sys/arch/hpcmips/tx/tx39.c
110
platform.cpu_intr = TX_INTR;
sys/arch/hpcmips/tx/tx39.c
88
extern void TX_INTR(int, vaddr_t, uint32_t);
sys/arch/hpcmips/tx/tx39icu.c
71
void TX_INTR(int, vaddr_t, uint32_t);