Searched refs:SGI_MASK (Results 1 – 3 of 3) sorted by relevance
22 #define SGI_MASK 0xffff macro198 mmio_read_32(gicr_base + GICR_ISPENDR0) & SGI_MASK; in gic_sgi_save_all()209 mmio_write_32(gicr_base + GICR_ICPENDR0, SGI_MASK); in gic_sgi_restore_all()211 gic_data.saved_sgi[proc_num] & SGI_MASK); in gic_sgi_restore_all()
83 result |= ((ispendr0 & SGI_MASK) ? 1 : 0) << proc_num; in gicr_get_sgi_pending()
143 #define SGI_MASK 0xffff macro