BSP reset. More...
#include <bsp/bootcard.h>
#include <bsp/fdt.h>
#include <bsp/qoriq.h>
#include <libfdt.h>
BSP reset.