diff options
Diffstat (limited to 'cactus')
-rw-r--r-- | cactus/cactus_main.c | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/cactus/cactus_main.c b/cactus/cactus_main.c index a67d1fe..0bec5aa 100644 --- a/cactus/cactus_main.c +++ b/cactus/cactus_main.c @@ -18,7 +18,14 @@ extern const char build_message[]; extern const char version_string[]; -static void cactus_print_memory_layout(secure_partition_boot_info_t *boot_info) +/* + * The ARM Trusted Firmware passes a description of the memory resources + * allocated to the secure partition through the x0 register. This maps to + * a secure_partition_boot_info_t structure type. + * + * This functions prints the information stored in this structure. + */ +static void cactus_print_memory_layout(const secure_partition_boot_info_t *boot_info) { NOTICE("Secure Partition memory layout:\n"); NOTICE(" Secure Partition image : %p - %p\n", @@ -63,11 +70,15 @@ int cactus_main(void *el3_el0_buffer, size_t el3_el0_buffer_size) NOTICE("%s\n", version_string); NOTICE("Running at S-EL0\n"); - cactus_print_memory_layout(el3_el0_buffer); + const secure_partition_boot_info_t *boot_info = + (const secure_partition_boot_info_t *) el3_el0_buffer; + + cactus_print_memory_layout(boot_info); + misc_tests(); system_setup_tests(); - mem_attr_changes_tests((secure_partition_boot_info_t *)el3_el0_buffer); + mem_attr_changes_tests(boot_info); return 0; } |