Searched defs:sgi_val (Results 1 – 2 of 2) sorted by relevance
1095 uint64_t sgi_val; in gicv3_raise_secure_g0_sgi() local
1143 uint64_t sgi_val; in gicv3_raise_sgi() local