#include <arch_helpers.h>
#include <common/bl_common.h>
#include <common/desc_image_load.h>
+#include <devapc.h>
#include <plat/common/common_def.h>
#include <drivers/console.h>
#include <common/debug.h>
******************************************************************************/
void bl31_platform_setup(void)
{
+ devapc_init();
+
platform_setup_cpu();
generic_delay_timer_init();