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