Lines Matching full:locked

17 @locked@
42 expression x <= locked.E1;
43 expression locked.E1;
46 position locked.p,p1,p2;
55 position p1 != locked.p1;
56 position locked.p;
58 expression x <= locked.E1;
59 expression E,locked.E1;
78 expression x <= locked.E1;
79 expression locked.E1;
82 position locked.p,p1,p2;