Index: head/sys/compat/linuxkpi/common/include/linux/random.h
===================================================================
--- head/sys/compat/linuxkpi/common/include/linux/random.h
+++ head/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_ */