Symbol: IXP425_TIMER_VBASE
sys/arch/arm/xscale/ixp425_timer.c
99
(IXP425_TIMER_VBASE + IXP425_OST_TS))
sys/arch/arm/xscale/ixp425reg.h
161
#define IXP425_OST_WDOG_VBASE (IXP425_TIMER_VBASE + 0x14)