Symbol: tx39power_ok_intr_n
sys/arch/hpcmips/tx/tx39power.c
138
tx39power_ok_intr_n, sc);
sys/arch/hpcmips/tx/tx39power.c
82
static int tx39power_ok_intr_n(void *);