295 void gicv2_set_pe_target_mask(unsigned int proc_num)  in gicv2_set_pe_target_mask()  argument
300 	assert(proc_num < GICV2_MAX_TARGET_PE);  in gicv2_set_pe_target_mask()
301 	assert(proc_num < driver_data->target_masks_num);  in gicv2_set_pe_target_mask()
304 	if (driver_data->target_masks[proc_num] != 0U) {  in gicv2_set_pe_target_mask()
311 	if (driver_data->target_masks[proc_num] == 0U) {  in gicv2_set_pe_target_mask()
312 		driver_data->target_masks[proc_num] =  in gicv2_set_pe_target_mask()
323 				&driver_data->target_masks[proc_num],  in gicv2_set_pe_target_mask()
324 				sizeof(driver_data->target_masks[proc_num]));  in gicv2_set_pe_target_mask()
421 void gicv2_raise_sgi(int sgi_num, bool ns, int proc_num)  in gicv2_raise_sgi()  argument
426 	assert(proc_num >= 0);  in gicv2_raise_sgi()
427 	assert(proc_num < (int)GICV2_MAX_TARGET_PE);  in gicv2_raise_sgi()
435 	assert(proc_num < (int)driver_data->target_masks_num);  in gicv2_raise_sgi()
438 	target = driver_data->target_masks[proc_num];  in gicv2_raise_sgi()
457 void gicv2_set_spi_routing(unsigned int id, int proc_num)  in gicv2_set_spi_routing()  argument
471 	assert(proc_num < (int)GICV2_MAX_TARGET_PE);  in gicv2_set_spi_routing()
473 	assert(proc_num < (int)driver_data->target_masks_num);  in gicv2_set_spi_routing()
475 	if (proc_num < 0) {  in gicv2_set_spi_routing()
480 		target = driver_data->target_masks[proc_num];  in gicv2_set_spi_routing()