| Cause Effect Rules | Rule2 | Rule5 | Rule3 | Rule4 | Rule1 |
|---|---|---|---|---|---|
| Start | - | - | - | - | - |
| __builtin_expect(!!((((&peer->usage)->counter)<0)!=0), 0) | T | F | - | - | - |
| 0 | - | - | T | F | - |
| Transitions | 1->2 | 1->2 | 2->1 | 2->E | S->1 |
| Method1 : asm volatile("ud2 ; .quad %c1 ; .short %c0" :: "i"(75), "i" ("volume")); | 1 | - | - | - | |
| Method2 : atomic_inc(&peer->usage); | - | - | 2 | - | |