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