Lines Matching +full:- +full:p1

1 // SPDX-License-Identifier: GPL-2.0-only
10 // Copyright: (C) 2010-2012 Nicolas Palix.
11 // Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
12 // Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
15 // Options: --no-includes --include-headers
22 position p1,p;
27 mutex_lock@p1
29 mutex_trylock@p1
31 spin_lock@p1
33 spin_trylock@p1
35 read_lock@p1
37 read_trylock@p1
39 write_lock@p1
41 write_trylock@p1
43 read_lock_irq@p1
45 write_lock_irq@p1
47 read_lock_irqsave@p1
49 write_lock_irqsave@p1
51 spin_lock_irq@p1
53 spin_lock_irqsave@p1
65 position up != prelocked.p1;
82 p << prelocked.p1;
92 p << prelocked.p1;