+ __darwin_va_list) __printflike(1,0);
+void uprintf(const char *, ...) __printflike(1,2);
+int copywithin(void *saddr, void *daddr, size_t len);
+int64_t fulong(user_addr_t addr);
+int sulong(user_addr_t addr, int64_t longword);
+uint64_t fuulong(user_addr_t addr);
+int suulong(user_addr_t addr, uint64_t ulongword);
+int clone_system_shared_regions(int shared_regions_active,
+ int chain_regions,
+ int base_vnode);
+extern kern_return_t bsd_exception(int, mach_exception_data_t codes, int);
+extern void bsdinit_task(void);
+extern void unix_syscall_return(int) __dead2;
+void initclocks(void);
+void startprofclock(struct proc *);
+void stopprofclock(struct proc *);
+void setstatclockrate(int hzrate);
+struct time_value;
+void get_procrustime(struct time_value *tv);
+void load_init_program(struct proc *p);
+void __pthread_testcancel(int presyscall);
+void throttle_info_get_last_io_time(mount_t mp, struct timeval *tv);
+void update_last_io_time(mount_t mp);
+void throttle_info_end_io(buf_t bp);
+#endif /* BSD_KERNEL_PRIVATE */