Lines Matching refs:tocheck

36 @script:ocaml tocheck@
59 identifier tocheck.i1regs;
67 identifier tocheck.i2regs;
77 i1regs << tocheck.i1regs;
78 i2regs << tocheck.i2regs;
95 identifier tocheck.i1dmregs;
103 identifier tocheck.i2dmregs;
113 i1dmregs << tocheck.i1dmregs;
114 i2dmregs << tocheck.i2dmregs;
131 identifier tocheck.i1props;
139 identifier tocheck.i2props;
149 i1props << tocheck.i1props;
150 i2props << tocheck.i2props;