Searched refs:local_workspace (Results 1 – 1 of 1) sorted by relevance
2664 int local_workspace[1000]; in internal_dfa_exec() local2676 local_workspace, /* workspace vector */ in internal_dfa_exec()2677 sizeof(local_workspace)/sizeof(int), /* size of same */ in internal_dfa_exec()2691 int local_workspace[1000]; in internal_dfa_exec() local2775 local_workspace, /* workspace vector */ in internal_dfa_exec()2776 sizeof(local_workspace)/sizeof(int), /* size of same */ in internal_dfa_exec()2794 int local_workspace[1000]; in internal_dfa_exec() local2825 local_workspace, /* workspace vector */ in internal_dfa_exec()2826 sizeof(local_workspace)/sizeof(int), /* size of same */ in internal_dfa_exec()2893 int local_workspace[1000]; in internal_dfa_exec() local[all …]