uint32_t crc32(uint32_t crc, const void *bufp, size_t len);
int copystr(const void *kfaddr, void *kdaddr, size_t len, size_t *done);
uint32_t crc32(uint32_t crc, const void *bufp, size_t len);
int copystr(const void *kfaddr, void *kdaddr, size_t len, size_t *done);
int copyoutstr(const void *kaddr, user_addr_t udaddr, size_t len, size_t *done);
int copyin(const user_addr_t uaddr, void *kaddr, size_t len);
int copyout(const void *kaddr, user_addr_t udaddr, size_t len);
int copyoutstr(const void *kaddr, user_addr_t udaddr, size_t len, size_t *done);
int copyin(const user_addr_t uaddr, void *kaddr, size_t len);
int copyout(const void *kaddr, user_addr_t udaddr, size_t len);
int vsscanf(const char *, char const *, va_list);
extern int vprintf(const char *, va_list);
extern int vsnprintf(char *, size_t, const char *, va_list);
int vsscanf(const char *, char const *, va_list);
extern int vprintf(const char *, va_list);
extern int vsnprintf(char *, size_t, const char *, va_list);
/* vsprintf() is being deprecated. Please use vsnprintf() instead. */
extern int vsprintf(char *bufp, const char *, va_list) __deprecated;
/* vsprintf() is being deprecated. Please use vsnprintf() instead. */
extern int vsprintf(char *bufp, const char *, va_list) __deprecated;