Lines Matching full:model

13    * are translated into model's event.
47 instrumentation section translates *kernel events* into the *model's
54 functions* for each of the three events from the wip model. The developer
64 The preempt_disable event from the model connects directly to the
79 preempt_enable event will be used to synchronize the system to the model.
81 Initially, the *model* is placed in the initial state. However, the *system*
87 and the model are expected to return to the initial state after the
89 system and the model at the initialization of the monitoring section.
142 is used to connect the wip model events to the relative kernel event. dot2k automatically
143 adds "rv_attach_trace_probe()" function call for each model event in the enable phase, as
146 For example, from the wip sample model::
165 [1] The wip model is presented in::