Searched refs:SGI_MASK (Results 1 – 1 of 1) sorted by relevance
22 #define SGI_MASK 0xffff macro155 mmio_read_32(gicr_base + GICR_ISPENDR0) & SGI_MASK; in gic_sgi_save_all()166 mmio_write_32(gicr_base + GICR_ICPENDR0, SGI_MASK); in gic_sgi_restore_all()168 gic_data.saved_sgi[proc_num] & SGI_MASK); in gic_sgi_restore_all()