Searched refs:sgir_val (Results 1 – 1 of 1) sorted by relevance
422 unsigned int sgir_val, target; in gicv2_raise_sgi() local440 sgir_val = GICV2_SGIR_VALUE(SGIR_TGT_SPECIFIC, target, sgi_num); in gicv2_raise_sgi()447 gicd_write_sgir(driver_data->gicd_base, sgir_val); in gicv2_raise_sgi()