Index: kernel/generic/include/synch/rcu.h
===================================================================
--- kernel/generic/include/synch/rcu.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/generic/include/synch/rcu.h	(revision 2021428770c33e39b4a849fa25fab204a11f72f9)
@@ -55,5 +55,5 @@
  *
  * // Insert at the beginning of the list.
- * exam_t *my_exam = malloc(sizeof(exam_t), 0);
+ * exam_t *my_exam = malloc(sizeof(exam_t), FRAME_ATOMIC);
  * my_exam->grade = 5;
  * my_exam->next = exam_list;