Feature #6822
closed
Support for workqueues in EMG
Added by Vadim Mutilin almost 9 years ago.
Updated about 6 years ago.
Category:
Environment models
Description
EMG should generate invocations of workqueue handlers.
See commit
790cc82~1, drivers/input/misc/arizona-haptics.ko, 32_7a
Related issues
1 (1 open — 0 closed)
- Priority changed from High to Normal
- Assignee set to Ilja Zakharov
- Priority changed from Normal to Urgent
This is very valuable miss of EMG.
- Priority changed from Urgent to High
- Priority changed from High to Urgent
- Target version set to 3.0
This support was added in Klever 2.0 but the mentioned validation sub-job was not fixed appropriately (another verifier options are necessary to activate workqueue models).
- Status changed from New to Resolved
- Target version changed from 3.0 to 2.0
Changing verification options has nothing to do with workqueues and EMG. Read the title of the issue once again. Moreover, the verification profiles file already has the necessary configuration set. I propose to open another issue to investigate do we need to turn on function pointer analysis or keep it disabled. In the validation preset the status of the task should be changed from EMG to verifier pointer analysis related problem (or maybe it is another problem there) because EMG has not any "activation" properties and it always generates necessary calls and strictly speaking verification task should already call workqueue handlers.
- Related to Feature #9350: Update validation tasks that require function pointer analysis added
- Status changed from Resolved to Closed
Created the relevant issue about function pointer analysis for validation.
Also available in: Atom
PDF