Symbol: tx39power_intr_p
sys/arch/hpcmips/tx/tx39power.c
128
tx39power_intr_p, sc);
sys/arch/hpcmips/tx/tx39power.c
79
static int tx39power_intr_p(void *);