Support for workqueues in EMG
EMG should generate invocations of workqueue handlers.
790cc82~1, drivers/input/misc/arizona-haptics.ko, 32_7a
#5 Updated by Ilja Zakharov 5 months ago
- Target version changed from 3.0 to 2.0
- Status changed from New to Resolved
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.