Symbol: INTCTL_VBASE
sys/arch/evbarm/mini2440/mini2440_machdep.c
380
INTCTL_VBASE,
sys/arch/evbarm/mini2440/mini2440_machdep.c
482
ioreg_write32(INTCTL_VBASE + INTCTL_INTMSK, ~0);
sys/arch/evbarm/mini2440/mini2440_machdep.c
488
s3c2xx0_intr_bootstrap(INTCTL_VBASE);
sys/arch/evbarm/smdk2xx0/smdk2410_machdep.c
349
INTCTL_VBASE,
sys/arch/evbarm/smdk2xx0/smdk2410_machdep.c
460
ioreg_write32(INTCTL_VBASE + INTCTL_INTMSK, ~0);
sys/arch/evbarm/smdk2xx0/smdk2410_machdep.c
464
s3c2xx0_intr_bootstrap(INTCTL_VBASE);