> I was surprised by the need to change the "locations" clauses, but > applied that change anyway. Ah, I take it that klitmus prints that, > but doesn't know how to print out a spinlock_t? Yep, this aligns with my understanding. Andrea
> I was surprised by the need to change the "locations" clauses, but > applied that change anyway. Ah, I take it that klitmus prints that, > but doesn't know how to print out a spinlock_t? Yep, this aligns with my understanding. Andrea
|