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() local2774 local_workspace, /* workspace vector */ in internal_dfa_exec()2775 sizeof(local_workspace)/sizeof(int), /* size of same */ in internal_dfa_exec()2793 int local_workspace[1000]; in internal_dfa_exec() local2824 local_workspace, /* workspace vector */ in internal_dfa_exec()2825 sizeof(local_workspace)/sizeof(int), /* size of same */ in internal_dfa_exec()2892 int local_workspace[1000]; in internal_dfa_exec() local[all …]