Home
last modified time | relevance | path

Searched refs:wip (Results 1 – 19 of 19) sorted by relevance

/openbmc/linux/Documentation/trace/rv/
H A Ddeterministic_automata.rst19 For example, a given automaton named 'wip' (wakeup in preemptive) can
36 The previous 'wip' automaton can also be represented as::
55 For example, the 'wip' automata can be presented as (augmented with comments)::
113 For example, this is the 'wip' model in DOT::
136 $ dot -Tsvg -o wip.svg wip.dot
137 $ graph-easy wip.dot > wip.txt
146 For example, having the previous 'wip' model into a file named 'wip.dot',
148 representation (previously shown) in the 'wip.h' file::
150 $ dot2c wip.dot > wip.h
152 The 'wip.h' content is the code sample in section 'Deterministic Automaton
H A Dda_monitor_instrumentation.rst7 In the example of the wip.dot monitor created on [1], it will look like::
39 rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_disable);
40 rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_enable);
41 rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_sched_waking);
54 functions* for each of the three events from the wip model. The developer
127 For the wip case, these functions were named::
142 is used to connect the wip model events to the relative kernel event. dot2k automatically
146 For example, from the wip sample model::
156 rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_preempt_enable);
157 rv_attach_trace_probe("wip", /* XXX: tracepoint */, handle_sched_waking);
[all …]
H A Dda_monitor_synthesis.rst53 For example, it is possible to transform the wip.dot model present in
56 $ dot2k -d wip.dot -t per_cpu
58 This will create a directory named wip/ with the following files:
60 - wip.h: the wip model in C
61 - wip.c: the RV monitor
63 The wip.c file contains the monitor declaration and the starting point for
93 For example, the wip model with two states and three events can be
95 is a per-cpu behavior, the monitor declaration in the 'wip.c' file is::
97 DECLARE_DA_MON_PER_CPU(wip, unsigned char);
120 Using the wip model as example, the events "preempt_disable" and
H A Dmonitor_wip.rst1 Monitor wip
4 - Name: wip - wakeup in preemptive
11 The wakeup in preemptive (wip) monitor is a sample per-cpu monitor
55 Grapviz Dot file in tools/verification/models/wip.dot
H A Druntime-verification.rst133 wip
157 # echo wip > enabled_monitors
160 wip
162 # echo '!wip' >> enabled_monitors
197 # cd monitors/wip/
223 # cat monitors/wip/reactors
227 # echo panic > monitors/wip/reactors
228 # cat monitors/wip/reactors
/openbmc/linux/Documentation/tools/rv/
H A Drv-mon-wip.rst4 rv-mon-wip
15 **rv mon wip** [*OPTIONS*]
20 The wakeup in preemptive (**wip**) monitor is a sample per-cpu monitor that
H A Dindex.rst16 rv-mon-wip
H A Drv-mon-wwnr.rst15 **rv mon wip** [*OPTIONS*]
/openbmc/linux/kernel/trace/rv/
H A DMakefile4 obj-$(CONFIG_RV_MON_WIP) += monitors/wip/wip.o
H A DKconfig32 bool "wip monitor"
34 Enable wip (wakeup in preemptive) sample monitor that illustrates
/openbmc/linux/fs/xfs/
H A Dxfs_inode.c2651 struct xfs_inode *wip, /* in: whiteout inode */ in xfs_sort_for_rename() argument
2673 if (wip) in xfs_sort_for_rename()
2674 i_tab[i++] = wip; in xfs_sort_for_rename()
2828 struct xfs_inode **wip) in xfs_rename_alloc_whiteout() argument
2857 *wip = tmpfile; in xfs_rename_alloc_whiteout()
2877 struct xfs_inode *wip = NULL; /* whiteout inode */ in xfs_rename() local
2899 target_dp, &wip); in xfs_rename()
2907 xfs_sort_for_rename(src_dp, target_dp, src_ip, target_ip, wip, in xfs_rename()
2949 if (wip) in xfs_rename()
2950 xfs_trans_ijoin(tp, wip, XFS_ILOCK_EXCL); in xfs_rename()
[all …]
/openbmc/phosphor-pid-control/test/
H A Dsensor_pluggable_unittest.cpp79 WriteInterfaceMock* wip = reinterpret_cast<WriteInterfaceMock*>(wi.get()); in TEST() local
85 EXPECT_CALL(*wip, write(value)); in TEST()
/openbmc/linux/kernel/trace/rv/monitors/wip/
H A Dwip.c20 DECLARE_DA_MON_PER_CPU(wip, unsigned char);
/openbmc/u-boot/tools/patman/
H A DREADME322 7c7909c wip
394 so you can drop your wip commit. So you resync with upstream:
399 and use git rebase -i to edit the commits, dropping the wip one. You add
/openbmc/u-boot/tools/buildman/
H A DREADME519 49ff541 wip
578 18: wip
609 18: wip
/openbmc/
Dopengrok1.0.log[all...]
Dopengrok2.0.log[all...]
/openbmc/linux/
H A Dopengrok1.0.log[all...]
H A Dopengrok0.0.log[all...]