-u_int32_t arc4random(void);
-void arc4random_addrandom(unsigned char * /*dat*/, int /*datlen*/);
-void arc4random_buf(void * /*buf*/, size_t /*nbytes*/) __OSX_AVAILABLE_STARTING(__MAC_10_7, __IPHONE_4_3);
+uint32_t arc4random(void);
+#ifndef UNIFDEF_DRIVERKIT
+void arc4random_addrandom(unsigned char * /*dat*/, int /*datlen*/)
+ __OSX_DEPRECATED(10.0, 10.12, "use arc4random_stir")
+ __IOS_DEPRECATED(2.0, 10.0, "use arc4random_stir")
+ __TVOS_DEPRECATED(2.0, 10.0, "use arc4random_stir")
+ __WATCHOS_DEPRECATED(1.0, 3.0, "use arc4random_stir");
+#endif /* UNIFDEF_DRIVERKIT */
+void arc4random_buf(void * __buf, size_t __nbytes) __OSX_AVAILABLE_STARTING(__MAC_10_7, __IPHONE_4_3);