Annotate UP spinlock stubs with lock annotations.
This way you can do a checking run on UP too - even if the locks don't actually _matter_, they should still be right, I'd hope.
Showing
Please register or sign in to comment
This way you can do a checking run on UP too - even if the locks don't actually _matter_, they should still be right, I'd hope.