Searched refs:bl31_set_next_image_type (Results 1 – 6 of 6) sorted by relevance
18 void bl31_set_next_image_type(uint32_t security_state);
212 void bl31_set_next_image_type(uint32_t security_state) in bl31_set_next_image_type() function
286 bl31_set_next_image_type(SECURE); in tspd_setup()
1148 #. In the BL32 setup function, use ``bl31_set_next_image_type()`` to1156 from trusted to normal world and use the ``bl31_set_next_image_type()`` and
30 .text.bl31_set_next_image_type
Completed in 16 milliseconds