/*#*
*#* $Log$
+ *#* Revision 1.19 2004/10/19 11:47:39 bernie
+ *#* Kill warnings when !CONFIG_PROC_MONITOR.
+ *#*
*#* Revision 1.18 2004/10/19 08:54:43 bernie
*#* Initialize forbid_cnt; Formatting/comments fixes.
*#*
{
#if CONFIG_KERN_MONITOR
monitor_rename(proc, name);
+#else
+ (void)proc; (void)name;
#endif
}