You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
51 lines
1.2 KiB
51 lines
1.2 KiB
7 years ago
|
/*
|
||
6 years ago
|
* Copyright (c) 2017-2019, ARM Limited and Contributors. All rights reserved.
|
||
7 years ago
|
*
|
||
|
* SPDX-License-Identifier: BSD-3-Clause
|
||
|
*/
|
||
|
|
||
5 years ago
|
#ifndef SPM_MM_PARTITION_H
|
||
|
#define SPM_MM_PARTITION_H
|
||
6 years ago
|
|
||
6 years ago
|
#include <stdint.h>
|
||
6 years ago
|
|
||
|
#include <lib/utils_def.h>
|
||
7 years ago
|
|
||
|
/*
|
||
5 years ago
|
* Flags used by the spm_mm_mp_info structure to describe the
|
||
7 years ago
|
* characteristics of a cpu. Only a single flag is defined at the moment to
|
||
|
* indicate the primary cpu.
|
||
|
*/
|
||
|
#define MP_INFO_FLAG_PRIMARY_CPU U(0x00000001)
|
||
|
|
||
|
/*
|
||
|
* This structure is used to provide information required to initialise a S-EL0
|
||
|
* partition.
|
||
|
*/
|
||
5 years ago
|
typedef struct spm_mm_mp_info {
|
||
7 years ago
|
uint64_t mpidr;
|
||
|
uint32_t linear_id;
|
||
|
uint32_t flags;
|
||
5 years ago
|
} spm_mm_mp_info_t;
|
||
7 years ago
|
|
||
5 years ago
|
typedef struct spm_mm_boot_info {
|
||
7 years ago
|
param_header_t h;
|
||
7 years ago
|
uint64_t sp_mem_base;
|
||
|
uint64_t sp_mem_limit;
|
||
|
uint64_t sp_image_base;
|
||
|
uint64_t sp_stack_base;
|
||
|
uint64_t sp_heap_base;
|
||
|
uint64_t sp_ns_comm_buf_base;
|
||
|
uint64_t sp_shared_buf_base;
|
||
|
uint64_t sp_image_size;
|
||
|
uint64_t sp_pcpu_stack_size;
|
||
|
uint64_t sp_heap_size;
|
||
|
uint64_t sp_ns_comm_buf_size;
|
||
|
uint64_t sp_shared_buf_size;
|
||
|
uint32_t num_sp_mem_regions;
|
||
|
uint32_t num_cpus;
|
||
5 years ago
|
spm_mm_mp_info_t *mp_info;
|
||
|
} spm_mm_boot_info_t;
|
||
6 years ago
|
|
||
5 years ago
|
#endif /* SPM_MM_PARTITION_H */
|