Searched defs:grpmask (Results 1 – 1 of 1) sorted by relevance
69 uint32_t pend, grpmask; in gicd_int_pending() local114 uint32_t pend, grpmask, grpmod; in gicr_int_pending() local