Searched refs:sec_state_is_valid (Results 1 – 23 of 23) sorted by relevance
34 assert(sec_state_is_valid(security_state)); in smc_get_ctx()40 assert(sec_state_is_valid(security_state)); in smc_set_next_ctx()52 assert(sec_state_is_valid(security_state)); in cm_get_context()
47 assert(sec_state_is_valid(security_state)); in cm_get_context_by_index()59 assert(sec_state_is_valid(security_state)); in cm_set_context_by_index()
177 assert(sec_state_is_valid(security_state)); in bl31_set_next_image_type()
85 assert(sec_state_is_valid(security_state)); in get_scr_el3_from_routing_model()
23 assert(sec_state_is_valid(security_state)); in cm_get_context()29 assert(sec_state_is_valid(security_state)); in cm_set_context()
21 #define sec_state_is_valid(s) (((s) == SECURE) || ((s) == NON_SECURE)) macro
92 assert(sec_state_is_valid(type)); in bl31_plat_get_next_image_ep_info()
27 assert(sec_state_is_valid(type)); in bl31_plat_get_next_image_ep_info()
43 assert(sec_state_is_valid(type)); in bl31_plat_get_next_image_ep_info()
35 assert(sec_state_is_valid(type)); in bl31_plat_get_next_image_ep_info()
48 assert(sec_state_is_valid(type)); in bl31_plat_get_next_image_ep_info()
180 assert(sec_state_is_valid(type) != 0); in bl31_plat_get_next_image_ep_info()
37 assert(sec_state_is_valid(type) != 0); in bl31_plat_get_next_image_ep_info()
49 assert(sec_state_is_valid(type)); in bl31_plat_get_next_image_ep_info()
59 assert(sec_state_is_valid(type) != 0); in bl31_plat_get_next_image_ep_info()
29 assert(sec_state_is_valid(type)); in bl31_plat_get_next_image_ep_info()
139 assert(sec_state_is_valid(security_state)); in plat_interrupt_type_to_line()
149 assert(sec_state_is_valid(security_state)); in plat_interrupt_type_to_line()
33 assert(sec_state_is_valid(type)); in bl31_plat_get_next_image_ep_info()
239 assert(sec_state_is_valid(security_state)); in plat_interrupt_type_to_line()
185 assert(sec_state_is_valid(type)); in bl31_plat_get_next_image_ep_info()
63 assert(sec_state_is_valid(type)); in bl31_plat_get_next_image_ep_info()
82 assert(sec_state_is_valid(type)); in bl31_plat_get_next_image_ep_info()