| /linux/kernel/trace/rv/ |
| H A D | rv.c | 213 bool rv_is_nested_monitor(struct rv_monitor *mon) in rv_is_nested_monitor()
226 bool rv_is_container_monitor(struct rv_monitor *mon) in rv_is_container_monitor()
244 struct rv_monitor *mon = filp->private_data; in monitor_enable_read_data() local
255 static int __rv_disable_monitor(struct rv_monitor *mon, bool sync) in __rv_disable_monitor()
276 static void rv_disable_single(struct rv_monitor *mon) in rv_disable_single()
281 static int rv_enable_single(struct rv_monitor *mon) in rv_enable_single()
298 static void rv_disable_container(struct rv_monitor *mon) in rv_disable_container()
313 static int rv_enable_container(struct rv_monitor *mon) in rv_enable_container()
336 int rv_disable_monitor(struct rv_monitor *mon) in rv_disable_monitor()
352 int rv_enable_monitor(struct rv_monitor *mon) in rv_enable_monitor()
[all …]
|
| H A D | rv_reactors.c | 141 struct rv_monitor *mon = m->private; in monitor_reactor_show() local
161 static void monitor_swap_reactors_single(struct rv_monitor *mon, in monitor_swap_reactors_single()
183 static void monitor_swap_reactors(struct rv_monitor *mon, struct rv_reactor *reactor) in monitor_swap_reactors()
207 struct rv_monitor *mon; in monitor_reactors_write() local
259 struct rv_monitor *mon = inode->i_private; in monitor_reactors_open() local
422 int reactor_populate_monitor(struct rv_monitor *mon) in reactor_populate_monitor()
|
| H A D | rv.h | 36 static inline int reactor_populate_monitor(struct rv_monitor *mon) in reactor_populate_monitor()
|
| /linux/include/rv/ |
| H A D | ltl_monitor.h | 48 struct ltl_monitor *mon = ltl_get_monitor(task); in ltl_task_init() local
98 static void ltl_illegal_state(struct task_struct *task, struct ltl_monitor *mon) in ltl_illegal_state()
104 static void ltl_attempt_start(struct task_struct *task, struct ltl_monitor *mon) in ltl_attempt_start()
110 static inline void ltl_atom_set(struct ltl_monitor *mon, enum ltl_atom atom, bool value) in ltl_atom_set()
120 ltl_trace_event(struct task_struct *task, struct ltl_monitor *mon, unsigned long *next_state) in ltl_trace_event()
143 static void ltl_validate(struct task_struct *task, struct ltl_monitor *mon) in ltl_validate()
165 struct ltl_monitor *mon = ltl_get_monitor(task); in ltl_atom_update() local
180 struct ltl_monitor *mon = ltl_get_monitor(task); in ltl_atom_pulse() local
|
| /linux/net/tipc/ |
| H A D | monitor.c | 183 static struct tipc_peer *get_peer(struct tipc_monitor *mon, u32 addr) in get_peer()
197 struct tipc_monitor *mon = tipc_monitor(net, bearer_id); in get_self() local
202 static inline bool tipc_mon_is_active(struct net *net, struct tipc_monitor *mon) in tipc_mon_is_active()
245 static void mon_apply_domain(struct tipc_monitor *mon, in mon_apply_domain()
270 static void mon_update_local_domain(struct tipc_monitor *mon) in mon_update_local_domain()
308 static void mon_update_neighbors(struct tipc_monitor *mon, in mon_update_neighbors()
324 static void mon_assign_roles(struct tipc_monitor *mon, struct tipc_peer *head) in mon_assign_roles()
354 struct tipc_monitor *mon = tipc_monitor(net, bearer_id); in tipc_mon_remove_peer() local
390 static bool tipc_mon_add_peer(struct tipc_monitor *mon, u32 addr, in tipc_mon_add_peer()
424 struct tipc_monitor *mon = tipc_monitor(net, bearer_id); in tipc_mon_peer_up() local
[all …]
|
| /linux/kernel/trace/rv/monitors/sleep/ |
| H A D | sleep.c | 25 static void ltl_atoms_fetch(struct task_struct *task, struct ltl_monitor *mon) in ltl_atoms_fetch()
36 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation) in ltl_atoms_init()
123 struct ltl_monitor *mon; in handle_sys_enter() local
166 struct ltl_monitor *mon = ltl_get_monitor(current); in handle_sys_exit() local
|
| H A D | sleep.h | 76 static void ltl_start(struct task_struct *task, struct ltl_monitor *mon) in ltl_start()
125 ltl_possible_next_states(struct ltl_monitor *mon, unsigned int state, unsigned long *next) in ltl_possible_next_states()
|
| /linux/tools/power/cpupower/utils/idle_monitor/ |
| H A D | cpupower-monitor.c | 102 int unsigned mon; in print_header() local
152 unsigned int mon; in print_results() local
238 int mon, hits = 0; in parse_monitor_param() local
274 unsigned int mon; in list_monitors() local
|
| /linux/kernel/trace/rv/monitors/pagefault/ |
| H A D | pagefault.c | 21 static void ltl_atoms_fetch(struct task_struct *task, struct ltl_monitor *mon) in ltl_atoms_fetch()
32 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation) in ltl_atoms_init()
|
| H A D | pagefault.h | 37 static void ltl_start(struct task_struct *task, struct ltl_monitor *mon) in ltl_start()
50 ltl_possible_next_states(struct ltl_monitor *mon, unsigned int state, unsigned long *next) in ltl_possible_next_states()
|
| /linux/arch/arm/mach-shmobile/ |
| H A D | regulator-quirk-rcar-gen2.c | 81 u32 mon; in regulator_quirk_notify() local
147 u32 mon, addr; in rcar_gen2_regulator_quirk() local
|
| /linux/include/linux/ |
| H A D | rv.h | 58 static inline bool rv_ltl_valid_state(struct ltl_monitor *mon) in rv_ltl_valid_state()
67 static inline bool rv_ltl_all_atoms_known(struct ltl_monitor *mon) in rv_ltl_all_atoms_known()
|
| /linux/tools/verification/rvgen/rvgen/templates/ltl2k/ |
| H A D | main.c | 39 static void ltl_atoms_init(struct task_struct *task, struct ltl_monitor *mon, bool task_creation) in ltl_atoms_init()
|
| /linux/arch/mips/dec/ |
| H A D | time.c | 24 unsigned int year, mon, day, hour, min, sec, real_year; in read_persistent_clock64() local
|
| /linux/arch/powerpc/platforms/chrp/ |
| H A D | time.c | 132 unsigned int year, mon, day, hour, min, sec; in chrp_get_rtc_time() local
|
| /linux/arch/m68k/bvme6000/ |
| H A D | rtc.c | 74 unsigned char mon, day, hrs, min, sec, leap_yr; in rtc_ioctl() local
|
| /linux/arch/sh/boards/mach-sh03/ |
| H A D | rtc.c | 43 unsigned int year, mon, day, hour, min, sec; in sh03_rtc_gettimeofday() local
|
| /linux/arch/mips/sibyte/swarm/ |
| H A D | rtc_xicor1241.c | 169 unsigned int year, mon, day, hour, min, sec, y2k; in xicor_get_time() local
|
| H A D | rtc_m41t81.c | 188 unsigned int year, mon, day, hour, min, sec; in m41t81_get_time() local
|
| /linux/drivers/media/pci/ddbridge/ |
| H A D | ddbridge-i2c.c | 58 u32 mon = ddbreadl(dev, in ddb_i2c_cmd() local
|
| /linux/drivers/rtc/ |
| H A D | rtc-mc146818-lib.c | 215 unsigned char mon, day, hrs, min, sec; in mc146818_set_time() local
|
| H A D | rtc-bq4802.c | 95 u8 sec, min, hrs, day, mon, yrs, century, val; in bq4802_set_time() local
|
| H A D | rtc-imx-sc.c | 35 u8 mon; member
|
| H A D | rtc-m48t35.c | 100 unsigned char mon, day, hrs, min, sec; in m48t35_set_time() local
|
| /linux/arch/m68k/atari/ |
| H A D | time.c | 203 int sec=0, min=0, hour=0, day=0, mon=0, year=0, wday=0; in atari_tt_hwclk() local
|