Index: kernel/generic/include/synch/rcu.h
===================================================================
--- kernel/generic/include/synch/rcu.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/generic/include/synch/rcu.h	(revision f959786633df7b137a1e39b67c43a12c1beb80fc)
@@ -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;