Training courses
Kernel and Embedded Linux
Bootlin training courses
1 2 3 4 5 6 7 8
#include "a.h" struct X { mutex m; int n __attribute__((guarded_by(m))); void f(); };