index c5d56e7b52c3c51a228bb54294a2cfb4bd817e97..b604fd6650ce97ec95a9be8304f76cdbc3338284 100644 (file)
/* chipStartCore does nothing, since multiple core start is not supported */
#define chipStartCore(x,y,z)
+#include "iblloc.h"
+
/* A minimal boot stats structure */
typedef struct bootTblStats_s {