Searched refs:LOCAL_prune_request (Results 1 – 4 of 4) sorted by relevance
70 LOCAL_prune_request = NULL; in make_root_choice_point()127 LOCAL_prune_request = NULL; in q_share_work()226 if (LOCAL_prune_request) { in share_private_nodes()227 CUT_send_prune_request(worker_q, LOCAL_prune_request); in share_private_nodes()
100 LOCAL_prune_request = NULL; in make_root_choice_point()158 LOCAL_prune_request = NULL; in q_share_work()331 if (LOCAL_prune_request) { in share_private_nodes()332 CUT_send_prune_request(worker_q, LOCAL_prune_request); in share_private_nodes()
209 LOCAL_prune_request = NULL;693 if (LOCAL_prune_request) {694 CUT_send_prune_request(worker_q, LOCAL_prune_request);
383 #define LOCAL_prune_request (LOCAL->prune_request) macro