332 					 pas_region_t *pas_regions,  in does_previous_pas_exist_here()  argument
339 		    pas_regions[i].base_pa, pas_regions[i].size)) {  in does_previous_pas_exist_here()
362 static int validate_pas_mappings(pas_region_t *pas_regions,  in validate_pas_mappings()  argument
370 	assert(pas_regions != NULL);  in validate_pas_mappings()
375 		if ((ULONG_MAX - pas_regions[idx].base_pa) <  in validate_pas_mappings()
376 		    pas_regions[idx].size) {  in validate_pas_mappings()
382 		if (((pas_regions[idx].base_pa + pas_regions[idx].size) >  in validate_pas_mappings()
384 		    !is_gpi_valid(GPT_PAS_ATTR_GPI(pas_regions[idx].attrs))) {  in validate_pas_mappings()
395 			if (check_pas_overlap(pas_regions[idx].base_pa,  in validate_pas_mappings()
396 			    pas_regions[idx].size,  in validate_pas_mappings()
397 			    pas_regions[i].base_pa,  in validate_pas_mappings()
398 			    pas_regions[i].size)) {  in validate_pas_mappings()
412 			(unsigned int)GPT_L0_IDX(pas_regions[idx].base_pa);  in validate_pas_mappings()
413 			i <= GPT_L0_IDX(pas_regions[idx].base_pa +  in validate_pas_mappings()
414 					pas_regions[idx].size - 1UL);  in validate_pas_mappings()
432 		if (GPT_PAS_ATTR_MAP_TYPE(pas_regions[idx].attrs) ==  in validate_pas_mappings()
435 			if (!GPT_IS_L0_ALIGNED(pas_regions[idx].base_pa) ||  in validate_pas_mappings()
436 			    !GPT_IS_L0_ALIGNED(pas_regions[idx].size)) {  in validate_pas_mappings()
446 		if (GPT_PAS_ATTR_MAP_TYPE(pas_regions[idx].attrs) ==  in validate_pas_mappings()
449 			if (!GPT_IS_L1_ALIGNED(gpt_config.p, pas_regions[idx].base_pa) ||  in validate_pas_mappings()
450 			    !GPT_IS_L1_ALIGNED(gpt_config.p, pas_regions[idx].size)) {  in validate_pas_mappings()
457 			pas_l1_cnt = (GPT_L0_IDX(pas_regions[idx].base_pa +  in validate_pas_mappings()
458 				     pas_regions[idx].size - 1UL) -  in validate_pas_mappings()
459 				     GPT_L0_IDX(pas_regions[idx].base_pa) + 1U);  in validate_pas_mappings()
478 				    GPT_L0_IDX(pas_regions[idx].base_pa +  in validate_pas_mappings()
479 				    pas_regions[idx].size - 1UL),  in validate_pas_mappings()
480 				    pas_regions, idx)) {  in validate_pas_mappings()
486 			    GPT_L0_IDX(pas_regions[idx].base_pa),  in validate_pas_mappings()
487 			    pas_regions, idx)) {  in validate_pas_mappings()
497 		      GPT_PAS_ATTR_MAP_TYPE(pas_regions[idx].attrs));  in validate_pas_mappings()
1162 			   size_t l1_mem_size, pas_region_t *pas_regions,  in gpt_init_pas_l1_tables()  argument
1185 	l1_gpt_cnt = validate_pas_mappings(pas_regions, pas_count);  in gpt_init_pas_l1_tables()
1220 			idx, pas_regions[idx].base_pa, pas_regions[idx].size,  in gpt_init_pas_l1_tables()
1221 			GPT_PAS_ATTR_GPI(pas_regions[idx].attrs),  in gpt_init_pas_l1_tables()
1222 			GPT_PAS_ATTR_MAP_TYPE(pas_regions[idx].attrs));  in gpt_init_pas_l1_tables()
1225 		if (GPT_PAS_ATTR_MAP_TYPE(pas_regions[idx].attrs) ==  in gpt_init_pas_l1_tables()
1227 			generate_l0_blk_desc(&pas_regions[idx]);  in gpt_init_pas_l1_tables()
1230 			generate_l0_tbl_desc(&pas_regions[idx]);  in gpt_init_pas_l1_tables()
1235 	flush_l0_for_pas_array(pas_regions, pas_count);  in gpt_init_pas_l1_tables()