Symbol: ixp12x0_reset
sys/arch/arm/ixp12x0/ixp12x0var.h
98
void ixp12x0_reset(void);
sys/arch/evbarm/ixm1200/ixm1200_machdep.c
115
void ixp12x0_reset(void) __attribute__((noreturn));
sys/arch/evbarm/ixm1200/ixm1200_machdep.c
215
ixp12x0_reset();
sys/arch/evbarm/ixm1200/ixm1200_machdep.c
256
ixp12x0_reset();
sys/arch/evbarm/ixm1200/ixm1200_machdep.c
317
cpu_reset_address = ixp12x0_reset;