Searched refs:sgi_val (Results 1 – 2 of 2) sorted by relevance
166 uint32_t sgi_val; in gic_raise_sgi() local170 sgi_val = GICD_SGIR_TGTFILT_CPULIST | in gic_raise_sgi()175 sys_write32(sgi_val, GICD_SGIR); in gic_raise_sgi()
280 uint64_t sgi_val; in gic_raise_sgi() local293 sgi_val = GICV3_SGIR_VALUE(aff3, aff2, aff1, sgi_id, in gic_raise_sgi()297 write_sysreg(sgi_val, ICC_SGI1R); in gic_raise_sgi()
