Searched refs:sgi_val (Results 1 – 1 of 1) sorted by relevance
1126 uint64_t sgi_val; in gicv3_raise_sgi() local1145 sgi_val = GICV3_SGIR_VALUE(aff3, aff2, aff1, sgi_num, SGIR_IRM_TO_AFF, in gicv3_raise_sgi()1156 write_icc_sgi0r_el1(sgi_val); in gicv3_raise_sgi()1159 write_icc_asgi1r(sgi_val); in gicv3_raise_sgi()1162 write_icc_sgi1r(sgi_val); in gicv3_raise_sgi()
