Lines Matching full:internalstate
65 /*@globals internalState@*/
66 /*@modifies internalState@*/
93 /*@globals internalState@*/
94 /*@modifies internalState@*/
124 /*@globals internalState@*/
125 /*@modifies internalState@*/
380 /*@globals internalState @*/
381 /*@modifies internalState @*/
