diff options
Diffstat (limited to 'bl31/runtime_svc.c')
| -rw-r--r-- | bl31/runtime_svc.c | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/bl31/runtime_svc.c b/bl31/runtime_svc.c index 8ec2f0b2..9a68e50f 100644 --- a/bl31/runtime_svc.c +++ b/bl31/runtime_svc.c @@ -28,20 +28,10 @@ * POSSIBILITY OF SUCH DAMAGE. */ -#include <stdio.h> -#include <string.h> +#include <debug.h> #include <errno.h> -#include <assert.h> -#include <arch_helpers.h> -#include <console.h> -#include <platform.h> -#include <semihosting.h> -#include <bl_common.h> -#include <psci.h> #include <runtime_svc.h> -#include <context.h> -#include <debug.h> -#include <context_mgmt.h> +#include <string.h> /******************************************************************************* * The 'rt_svc_descs' array holds the runtime service descriptors exported by |