After incrementing the counter with ldrex/strex, the last two functions now load the counter with plain ldr and executes kernelpanic() when it's zero. | After incrementing the counter with ldrex/strex, the last two functions now load the counter with plain ldr and executes kernelpanic() when it's zero. |