Symbol: tx39xx_init
sys/arch/hpcmips/stand/pbsdboot/pbsdboot.h
208
void tx39xx_init(SYSTEM_INFO *info);
sys/arch/hpcmips/stand/pbsdboot/systeminfo.c
54
tx39xx_init(&info);
sys/arch/hpcmips/stand/pbsdboot/systeminfo.c
94
tx39xx_init(&info);