79 			     int dram_idx, int list_idx,  in populate_tzc400_reg_list()  argument
85 	if (list_idx == 0) {  in populate_tzc400_reg_list()
88 		list_idx++;  in populate_tzc400_reg_list()
93 		tzc400_reg_list[list_idx].reg_filter_en = 1;  in populate_tzc400_reg_list()
94 		tzc400_reg_list[list_idx].start_addr = dram_start_addr + dram_size;  in populate_tzc400_reg_list()
95 		tzc400_reg_list[list_idx].end_addr = dram_start_addr + dram_size  in populate_tzc400_reg_list()
97 		tzc400_reg_list[list_idx].sec_attr = TZC_REGION_S_RDWR;  in populate_tzc400_reg_list()
98 		tzc400_reg_list[list_idx].nsaid_permissions = TZC_REGION_NS_NONE;  in populate_tzc400_reg_list()
99 		list_idx++;  in populate_tzc400_reg_list()
102 		tzc400_reg_list[list_idx].reg_filter_en = 1;  in populate_tzc400_reg_list()
103 		tzc400_reg_list[list_idx].start_addr = dram_start_addr + dram_size  in populate_tzc400_reg_list()
105 		tzc400_reg_list[list_idx].end_addr = dram_start_addr + dram_size  in populate_tzc400_reg_list()
109 		tzc400_reg_list[list_idx].sec_attr = TZC_REGION_S_RDWR;  in populate_tzc400_reg_list()
110 		tzc400_reg_list[list_idx].nsaid_permissions = TZC_NS_ACCESS_ID;  in populate_tzc400_reg_list()
111 		list_idx++;  in populate_tzc400_reg_list()
114 		tzc400_reg_list[list_idx].reg_filter_en = 1;  in populate_tzc400_reg_list()
115 		tzc400_reg_list[list_idx].start_addr = dram_start_addr;  in populate_tzc400_reg_list()
116 		tzc400_reg_list[list_idx].end_addr = dram_start_addr + dram_size  in populate_tzc400_reg_list()
118 		tzc400_reg_list[list_idx].sec_attr = TZC_REGION_S_RDWR;  in populate_tzc400_reg_list()
119 		tzc400_reg_list[list_idx].nsaid_permissions = TZC_NS_ACCESS_ID;  in populate_tzc400_reg_list()
120 		list_idx++;  in populate_tzc400_reg_list()
123 		tzc400_reg_list[list_idx].reg_filter_en = 1;  in populate_tzc400_reg_list()
124 		tzc400_reg_list[list_idx].start_addr = dram_start_addr;  in populate_tzc400_reg_list()
125 		tzc400_reg_list[list_idx].end_addr = dram_start_addr + dram_size  in populate_tzc400_reg_list()
127 		tzc400_reg_list[list_idx].sec_attr = TZC_REGION_S_RDWR;  in populate_tzc400_reg_list()
128 		tzc400_reg_list[list_idx].nsaid_permissions = TZC_NS_ACCESS_ID;  in populate_tzc400_reg_list()
129 		list_idx++;  in populate_tzc400_reg_list()
132 	return list_idx;  in populate_tzc400_reg_list()
136 			     int dram_idx, int list_idx,  in populate_tzc400_reg_list()  argument