Searched refs:dot2k (Results 1 - 3 of 3) sorted by path

/linux-master/tools/verification/dot2/
H A DMakefile22 $(INSTALL) dot2k.py -D -m 644 $(DESTDIR)$(PYLIB)/dot2/dot2k.py
23 $(INSTALL) dot2k -D -m 755 $(DESTDIR)$(bindir)/
H A Ddot2k6 # dot2k: transform dot files into a monitor for the Linux kernel.
12 from dot2.dot2k import dot2k
28 monitor=dot2k(params.dot_file, params.monitor_type)
H A Ddot2k.py6 # dot2k: transform dot files into a monitor for the Linux kernel.
15 class dot2k(Dot2c): class in inherits:Dot2c
17 monitor_templates_dir = "dot2k/rv_templates/"

Completed in 209 milliseconds