Searched refs:rv_dir (Results 1 – 1 of 1) sorted by relevance
| /tools/verification/rvgen/rvgen/ |
| A D | generator.py | 13 rv_dir = "kernel/trace/rv" variable in RVGenerator
30 if os.path.exists(self.rv_dir):
34 kernel_path = os.path.join("../..", self.rv_dir)
37 self.rv_dir = kernel_path
48 self.rv_dir = kernel_path
142 file_to_patch = os.path.join(self.rv_dir, file)
158 """ % (self.rv_dir, monitor_class_type, self.name, self.name)
175 """ % (self.rv_dir, self.name)
189 """ % (self.rv_dir, name_up, name, name)
199 path = os.path.join(self.rv_dir, "monitors", path)
[all …]
|
Completed in 2 milliseconds