Index: sys/compat/linuxkpi/common/include/linux/random.h
===================================================================
--- sys/compat/linuxkpi/common/include/linux/random.h
+++ sys/compat/linuxkpi/common/include/linux/random.h
@@ -62,4 +62,10 @@
 	return (val);
 }
 
+static inline u32
+prandom_u32_max(u32 max)
+{
+	return arc4random_uniform(max);
+}
+
 #endif /* _LINUX_RANDOM_H_ */