2018-10-05 | Lance Roy | atm: nicstar: Replace spin_is_locked() with spin_trylock() Signed-off-by: Lance Roy <ldr709@gmail.com> |
commit | commitdiff | tree |
2018-10-05 | Lance Roy | zd1211rw: Replace spin_is_locked() with lockdep Signed-off-by: Lance Roy <ldr709@gmail.com> |
commit | commitdiff | tree |
2017-01-25 | Lance Roy | rcutorture: Add CBMC-based formal verification for... Signed-off-by: Lance Roy <ldr709@gmail.com> |
commit | commitdiff | tree |
2017-01-25 | Lance Roy | srcu: Implement more-efficient reader counts Signed-off-by: Lance Roy <ldr709@gmail.com> |
commit | commitdiff | tree |