blob: ad5ceefbb5cb574d4e96044a8508430a37a3136f [file] [log] [blame]
Antonio Nino Diazc41f2062017-10-24 10:07:35 +01001/*
Antonio Nino Diazcbccdbf2019-01-21 11:53:29 +00002 * Copyright (c) 2017-2019, ARM Limited and Contributors. All rights reserved.
Antonio Nino Diazc41f2062017-10-24 10:07:35 +01003 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
Paul Beesley45f40282019-10-15 10:57:42 +00007#ifndef SPM_MM_PARTITION_H
8#define SPM_MM_PARTITION_H
Antonio Nino Diazd6cf9a22018-10-30 11:52:45 +00009
Antonio Nino Diaz4b32e622018-08-16 16:52:57 +010010#include <stdint.h>
Antonio Nino Diaze0f90632018-12-14 00:18:21 +000011
12#include <lib/utils_def.h>
Antonio Nino Diazc41f2062017-10-24 10:07:35 +010013
Antonio Nino Diazc41f2062017-10-24 10:07:35 +010014/*
Paul Beesley45f40282019-10-15 10:57:42 +000015 * Flags used by the spm_mm_mp_info structure to describe the
Antonio Nino Diazc41f2062017-10-24 10:07:35 +010016 * characteristics of a cpu. Only a single flag is defined at the moment to
17 * indicate the primary cpu.
18 */
19#define MP_INFO_FLAG_PRIMARY_CPU U(0x00000001)
20
21/*
22 * This structure is used to provide information required to initialise a S-EL0
23 * partition.
24 */
Paul Beesley45f40282019-10-15 10:57:42 +000025typedef struct spm_mm_mp_info {
Sughosh Ganu8539aa32017-12-11 19:03:19 +053026 uint64_t mpidr;
27 uint32_t linear_id;
28 uint32_t flags;
Paul Beesley45f40282019-10-15 10:57:42 +000029} spm_mm_mp_info_t;
Antonio Nino Diazc41f2062017-10-24 10:07:35 +010030
Paul Beesley45f40282019-10-15 10:57:42 +000031typedef struct spm_mm_boot_info {
Antonio Nino Diazc41f2062017-10-24 10:07:35 +010032 param_header_t h;
Sughosh Ganu8539aa32017-12-11 19:03:19 +053033 uint64_t sp_mem_base;
34 uint64_t sp_mem_limit;
35 uint64_t sp_image_base;
36 uint64_t sp_stack_base;
37 uint64_t sp_heap_base;
38 uint64_t sp_ns_comm_buf_base;
39 uint64_t sp_shared_buf_base;
40 uint64_t sp_image_size;
41 uint64_t sp_pcpu_stack_size;
42 uint64_t sp_heap_size;
43 uint64_t sp_ns_comm_buf_size;
44 uint64_t sp_shared_buf_size;
45 uint32_t num_sp_mem_regions;
46 uint32_t num_cpus;
Paul Beesley45f40282019-10-15 10:57:42 +000047 spm_mm_mp_info_t *mp_info;
48} spm_mm_boot_info_t;
Antonio Nino Diazd6cf9a22018-10-30 11:52:45 +000049
Paul Beesley45f40282019-10-15 10:57:42 +000050#endif /* SPM_MM_PARTITION_H */