Searched refs:bl31_file_name (Results 1 – 1 of 1) sorted by relevance
119 def generate_atf_fit_dts(fit_file_name, bl31_file_name, uboot_file_name, dtbs_file_name): argument142 with open(bl31_file_name) as bl31_file:159 def generate_atf_binary(bl31_file_name): argument160 with open(bl31_file_name) as bl31_file:172 def get_bl31_segments_info(bl31_file_name): argument177 with open(bl31_file_name) as bl31_file: