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