Training courses
Kernel and Embedded Linux
Bootlin training courses
1 2 3
void modelled(intptr p) { ++*p; }