board/mindspeed/c2kevm/reset.c

#include <common.h>

/*
 *  * Reset the cpu through the reset controller
 *   */
void __noreturn reset_cpu (unsigned long addr)
{
        while (1);
}