Searched refs:ispendr0 (Results 1 – 1 of 1) sorted by relevance
78 uint32_t result = 0, ispendr0, proc_num; in gicr_get_sgi_pending() local81 ispendr0 = in gicr_get_sgi_pending()83 result |= ((ispendr0 & SGI_MASK) ? 1 : 0) << proc_num; in gicr_get_sgi_pending()