Home
last modified time | relevance | path

Searched refs:monitor_type (Results 1 – 4 of 4) sorted by relevance

/linux/tools/verification/rvgen/rvgen/
H A Ddot2k.py19 self.monitor_type = MonitorType
25 return self.monitor_type.upper()
39 if self.monitor_type == "per_task":
87 if self.monitor_type == "per_task":
92 if self.monitor_type == "per_task":
110 if self.monitor_type == "per_task":
123 monitor_type = self.fill_monitor_type()
127 main_c = main_c.replace("%%MONITOR_TYPE%%", monitor_type)
/linux/tools/verification/rvgen/
H A D__main__.py34 monitor_parser.add_argument('-t', "--monitor_type", dest="monitor_type",
46 monitor = dot2k(params.spec, params.monitor_type, vars(params))
48 monitor = ltl2k(params.spec, params.monitor_type, vars(params))
/linux/arch/powerpc/include/asm/
H A Dps3av.h416 u8 monitor_type; member
/linux/drivers/ps3/
H A Dps3av.c671 pr_debug("monitor_type: %02x\n", info->monitor_type); in ps3av_monitor_info_dump()
770 switch (info->monitor_type) { in ps3av_auto_videomode()