Symbol: VLPCI_VL_TIM_REG
sys/arch/shark/ofw/vlpci.c
250
regwrite_1(sc, VLPCI_VL_TIM_REG, VLPCI_VL_TIM_OBD_MEM_1ST_DAT);
sys/arch/shark/ofw/vlpci.c
251
printf("reg 0x83 %02x\n", regread_1(sc, VLPCI_VL_TIM_REG));