Searched refs:sgi_val (Results 1 – 1 of 1) sorted by relevance
1146 uint64_t sgi_val; in gicv3_raise_sgi() local1165 sgi_val = GICV3_SGIR_VALUE(aff3, aff2, aff1, sgi_num, SGIR_IRM_TO_AFF, in gicv3_raise_sgi()1176 write_icc_sgi0r_el1(sgi_val); in gicv3_raise_sgi()1179 write_icc_asgi1r(sgi_val); in gicv3_raise_sgi()1182 write_icc_sgi1r(sgi_val); in gicv3_raise_sgi()