Searched refs:write_icc_asgi1r (Results 1 – 2 of 2) sorted by relevance
449 #define write_icc_asgi1r(_v) write64_icc_asgi1r(_v) macro
1179 write_icc_asgi1r(sgi_val); in gicv3_raise_sgi()