Searched refs:atf_index (Results 1 – 1 of 1) sorted by relevance
50 def append_bl31_node(file, atf_index, phy_addr, elf_entry): argument53 file.write('\t\tatf_%d {\n' % atf_index)61 if atf_index == 1:66 def append_tee_node(file, atf_index, phy_addr, elf_entry): argument69 file.write('\t\tatf_%d {\n' % atf_index)