Symbol: ixpclk_intr
sys/arch/arm/ixp12x0/ixp12x0_clk.c
263
ixp12x0_intr_establish(IXPPCI_INTR_T1, IPL_CLOCK, ixpclk_intr, NULL);
sys/arch/arm/ixp12x0/ixp12x0_clk.c
72
static int ixpclk_intr(void* arg);
sys/arch/arm/xscale/ixp425_timer.c
163
ixpclk_intr, NULL);
sys/arch/arm/xscale/ixp425_timer.c
64
int ixpclk_intr(void *);