Searched refs:mask_id (Results 1 – 1 of 1) sorted by relevance
780 uint32_t mask_id = it & 0xf; in gic_it_raise_sgi() local781 uint64_t mask = SHIFT_U64(mask_id, 24); in gic_it_raise_sgi()817 uint32_t mask_id = it & GICD_SGIR_SIGINTID_MASK; in gic_it_raise_sgi()819 uint32_t mask = mask_id; in gic_it_raise_sgi()