Home
last modified time | relevance | path

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

/linux/include/rv/
H A Dltl_monitor.h24 static void ltl_atoms_fetch(struct task_struct *task, struct ltl_monitor *mon);
42 ltl_atoms_fetch(task, mon); in ltl_task_init()
155 ltl_atoms_fetch(task, mon); in ltl_atom_update()
/linux/tools/verification/rvgen/rvgen/templates/ltl2k/
H A Dmain.c26 static void ltl_atoms_fetch(struct task_struct *task, struct ltl_monitor *mon)
/linux/kernel/trace/rv/monitors/pagefault/
H A Dpagefault.c21 static void ltl_atoms_fetch(struct task_struct *task, struct ltl_monitor *mon) in ltl_atoms_fetch() function
/linux/kernel/trace/rv/monitors/sleep/
H A Dsleep.c25 static void ltl_atoms_fetch(struct task_struct *task, struct ltl_monitor *mon) in ltl_atoms_fetch() function