Re: [PATCH] ARCv2: Additional trace IRQs to support locking correctness validator

2016-04-12 Thread Vineet Gupta
Hi Evgeny, On Wednesday 23 March 2016 02:56 PM, Evgeny Voevodin wrote: > Flags should be saved in the same format in which clri instruction saves > them since they are passed directly to seti instruction over > arch_local_save_flags/arch_local_irq_restore calls. > Trace of all clri/seti assembly c

[PATCH] ARCv2: Additional trace IRQs to support locking correctness validator

2016-03-23 Thread Evgeny Voevodin
Flags should be saved in the same format in which clri instruction saves them since they are passed directly to seti instruction over arch_local_save_flags/arch_local_irq_restore calls. Trace of all clri/seti assembly calls is added to support locking correctness validator properly. With this patch

[PATCH] ARCv2: Additional trace IRQs to support locking correctness validator

2016-03-21 Thread Evgeny Voevodin
Flags should be saved in the same format in which clri instruction saves them since they are passed directly to seti instruction over arch_local_save_flags/arch_local_irq_restore calls. Trace of all clri/seti assembly calls is added to support locking correctness validator properly. With this patch