Searched defs:max_sgi (Results 1 – 1 of 1) sorted by relevance
251 int max_sgi = min_sgi + 3; in read_set_clear_sgi_pend_reg() local273 int max_sgi = min_sgi + 3; in write_set_clear_sgi_pend_reg() local