Searched refs:nacc_addr (Results 1 – 1 of 1) sorted by relevance
229 int *epsclosure (int *t, int *ns_addr, int accset[], int *nacc_addr, int *hv_addr) in epsclosure() argument336 *nacc_addr = nacc; in epsclosure()