blob: fdd065fdb887312dea661c8174aaedfad402f5b8 [file] [log] [blame]
#include <common.h>
/*
* * Reset the cpu through the reset controller
* */
void __noreturn reset_cpu (unsigned long addr)
{
while (1);
}