Symbol: ifpga_reset
sys/arch/evbarm/ifpga/ifpgavar.h
113
void ifpga_reset(void);
sys/arch/evbarm/integrator/integrator_machdep.c
110
void ifpga_reset(void) __attribute__((noreturn));
sys/arch/evbarm/integrator/integrator_machdep.c
222
ifpga_reset();
sys/arch/evbarm/integrator/integrator_machdep.c
260
ifpga_reset();