-Iinclude/lib/aarch64 \
-Iinclude/stdlib \
-Iinclude/stdlib/sys \
- -Iservices/std_svc/psci \
-Iplat/${PLAT} \
${PLAT_INCLUDES} \
${SPD_INCLUDES}
#include <semihosting.h>
#include <bl_common.h>
#include <bl2.h>
-#include "debug.h"
+#include <debug.h>
/*******************************************************************************
* The only thing to do in BL2 is to load further images and pass control to
#include <bl_common.h>
#include <platform.h>
#include <arch.h>
-#include "cm_macros.S"
#include <asm_macros.S>
+#include <cm_macros.S>
.globl bl31_entrypoint
#include <runtime_svc.h>
#include <platform.h>
#include <context.h>
-#include "asm_macros.S"
-#include "cm_macros.S"
+#include <asm_macros.S>
+#include <cm_macros.S>
.globl runtime_exceptions
.globl el3_exit
#include <platform.h>
#include <semihosting.h>
#include <bl_common.h>
-#include "io_storage.h"
-#include "debug.h"
+#include <io_storage.h>
+#include <debug.h>
unsigned long page_align(unsigned long value, unsigned dir)
{
*/
#include <assert.h>
-#include "arch_helpers.h"
-#include "tzc400.h"
-#include "mmio.h"
-#include "debug.h"
+#include <arch_helpers.h>
+#include <tzc400.h>
+#include <mmio.h>
+#include <debug.h>
static uint32_t tzc_read_build_config(uint64_t base)
{
#include <errno.h>
#include <string.h>
#include <assert.h>
-#include "platform.h"
-#include "firmware_image_package.h"
-#include "io_storage.h"
-#include "io_driver.h"
-#include "io_fip.h"
-#include "debug.h"
+#include <platform.h>
+#include <firmware_image_package.h>
+#include <io_storage.h>
+#include <io_driver.h>
+#include <io_fip.h>
+#include <debug.h>
/* Useful for printing UUIDs when debugging.*/
#define PRINT_UUID2(x) \
#include <assert.h>
#include <string.h>
-#include "io_storage.h"
-#include "io_driver.h"
-#include "debug.h"
+#include <io_storage.h>
+#include <io_driver.h>
+#include <debug.h>
/* As we need to be able to keep state for seek, only one file can be open
* at a time. Make this a structure and point to the entity->info. When we
*/
#include <assert.h>
-#include "io_storage.h"
-#include "io_driver.h"
-#include "semihosting.h"
+#include <io_storage.h>
+#include <io_driver.h>
+#include <semihosting.h>
#ifndef __IO_DRIVER_H__
#define __IO_DRIVER_H__
-#include "platform.h" /* For MAX_IO_DEVICES */
+#include <platform.h> /* For MAX_IO_DEVICES */
/* Generic IO entity structure,representing an accessible IO construct on the
#include <stddef.h>
#include <assert.h>
-#include "io_storage.h"
-#include "io_driver.h"
+#include <io_storage.h>
+#include <io_driver.h>
#define MAX_DEVICES(plat_data) \
#include <assert.h>
#include <arch_helpers.h>
-#include "debug.h"
+#include <debug.h>
#include <platform.h>
#include <xlat_tables.h>
#include <assert.h>
#include <string.h>
-#include "platform.h"
-#include "io_storage.h"
-#include "io_driver.h"
-#include "io_semihosting.h"
-#include "semihosting.h" /* For FOPEN_MODE_... */
-#include "io_fip.h"
-#include "io_memmap.h"
-#include "debug.h"
+#include <platform.h>
+#include <io_storage.h>
+#include <io_driver.h>
+#include <io_semihosting.h>
+#include <semihosting.h> /* For FOPEN_MODE_... */
+#include <io_fip.h>
+#include <io_memmap.h>
+#include <debug.h>
/* IO devices */
static struct io_plat_data io_data;
*/
#include <assert.h>
-#include "platform.h"
-#include "tzc400.h"
-#include "debug.h"
+#include <platform.h>
+#include <tzc400.h>
+#include <debug.h>
/* Used to improve readability for configuring regions. */
#define FILTER_SHIFT(filter) (1 << filter)
#include <mmio.h>
#include <psci.h>
#include <bl_common.h>
-#include "io_storage.h"
+#include <io_storage.h>
/*******************************************************************************
#
TSPD_DIR := services/spd/tspd
-SPD_INCLUDES := -Iinclude/bl32/payloads \
- -I${TSPD_DIR}
+SPD_INCLUDES := -Iinclude/bl32/payloads
SPD_SOURCES := tspd_common.c \
tspd_main.c \
#include <bl_common.h>
#include <runtime_svc.h>
#include <context_mgmt.h>
-#include <tspd_private.h>
+#include "tspd_private.h"
/*******************************************************************************
* Given a secure payload entrypoint, register width, cpu id & pointer to a
*/
#include <context.h>
-#include <tspd_private.h>
#include <asm_macros.S>
#include <cm_macros.S>
+#include "tspd_private.h"
.global tspd_enter_sp
/* ---------------------------------------------
#include <bl31.h>
#include <tsp.h>
#include <psci.h>
-#include <tspd_private.h>
#include <debug.h>
#include <uuid.h>
+#include "tspd_private.h"
/*******************************************************************************
* Single structure to hold information about the various entry points into the
#include <bl31.h>
#include <bl32.h>
#include <psci.h>
-#include <tspd_private.h>
#include <debug.h>
+#include "tspd_private.h"
/*******************************************************************************
* The target cpu is being turned on. Allow the TSPD/TSP to perform any actions
#include <console.h>
#include <platform.h>
#include <psci.h>
-#include <psci_private.h>
+#include "psci_private.h"
typedef int (*afflvl_off_handler)(unsigned long, aff_map_node *);
#include <console.h>
#include <platform.h>
#include <psci.h>
-#include <psci_private.h>
#include <context_mgmt.h>
+#include "psci_private.h"
typedef int (*afflvl_on_handler)(unsigned long,
aff_map_node *,
#include <console.h>
#include <platform.h>
#include <psci.h>
-#include <psci_private.h>
#include <context_mgmt.h>
+#include "psci_private.h"
typedef int (*afflvl_suspend_handler)(unsigned long,
aff_map_node *,
#include <console.h>
#include <platform.h>
#include <psci.h>
-#include <psci_private.h>
#include <context_mgmt.h>
#include <runtime_svc.h>
-#include "debug.h"
+#include <debug.h>
+#include "psci_private.h"
/*
* SPD power management operations, expected to be supplied by the registered
#include <arch.h>
#include <platform.h>
#include <psci.h>
-#include <psci_private.h>
#include <runtime_svc.h>
#include <asm_macros.S>
#include <cm_macros.S>
+#include "psci_private.h"
.globl psci_aff_on_finish_entry
.globl psci_aff_suspend_finish_entry
#include <arch_helpers.h>
#include <console.h>
#include <platform.h>
-#include <psci_private.h>
#include <runtime_svc.h>
#include <debug.h>
#include <context_mgmt.h>
+#include "psci_private.h"
/*******************************************************************************
* PSCI frontend api for servicing SMCs. Described in the PSCI spec.
#include <arch_helpers.h>
#include <console.h>
#include <platform.h>
-#include <psci_private.h>
#include <context_mgmt.h>
#include <runtime_svc.h>
+#include "psci_private.h"
/*******************************************************************************
* Per cpu non-secure contexts used to program the architectural state prior
#include <runtime_svc.h>
#include <std_svc.h>
#include <psci.h>
-#include <psci_private.h>
#include <debug.h>
+#include "psci/psci_private.h"
/* Standard Service UUID */
DEFINE_SVC_UUID(arm_svc_uid,