Searched refs:sgi_val (Results 1 – 1 of 1) sorted by relevance
1141 uint64_t sgi_val; in gicv3_raise_secure_g0_sgi() local1160 sgi_val = GICV3_SGIR_VALUE(aff3, aff2, aff1, sgi_num, SGIR_IRM_TO_AFF, in gicv3_raise_secure_g0_sgi()1168 write_icc_sgi0r_el1(sgi_val); in gicv3_raise_secure_g0_sgi()