Symbol: INTCTL_VBASE
sys/arch/evbarm/mini2440/mini2440_machdep.c
368
#define INTCTL_VBASE _V(1)
sys/arch/evbarm/smdk2xx0/smdk2410_machdep.c
334
#define INTCTL_VBASE _V(1)