Searched refs:image_page_count (Results 1 – 3 of 3) sorted by relevance
| /rk3399_ARM-atf/plat/arm/board/fvp/ |
| H A D | fvp_spmd_logical_sp.c | 128 uint64_t image_page_count = SP_IMAGE_PKG_SIZE / PAGE_SIZE; in lfa_sp_activate() local
196 SPMD_LP_PARTITION_ID, sp_id, image_base, image_page_count, 0, in lfa_sp_activate()
|
| /rk3399_ARM-atf/services/std_svc/spmd/ |
| H A D | spmd_logical_sp.c | 844 uint32_t image_page_count, uintptr_t manifest_base, in spmd_lsp_build_live_activation_request() argument
854 x5 = image_page_count; in spmd_lsp_build_live_activation_request()
924 uint32_t image_page_count, uintptr_t manifest_base, in spmd_lsp_start_request_sp_live_activation() argument
935 assert(image_base != 0U && image_page_count != 0U); in spmd_lsp_start_request_sp_live_activation()
937 lsp_id, sp_id, image_base, image_page_count, manifest_base, in spmd_lsp_start_request_sp_live_activation()
|
| /rk3399_ARM-atf/include/services/ |
| H A D | el3_spmd_logical_sp.h | 191 uint32_t image_page_count,
|