Symbol: vr41xx_init
sys/arch/hpcmips/stand/pbsdboot/pbsdboot.h
202
void vr41xx_init(SYSTEM_INFO *info);
sys/arch/hpcmips/stand/pbsdboot/systeminfo.c
51
vr41xx_init(&info);
sys/arch/hpcmips/stand/pbsdboot/systeminfo.c
83
vr41xx_init(&info);