508 The following functions are not defined or handled internally: sprintf 176 The following functions are not defined or handled internally: fopen, fclose, feof 162 The following functions are not defined or handled internally: __atomic_fetch_or, __atomic_fetch_sub, __atomic_exchange_n, __atomic_fetch_xor, htons, ntohl, __atomic_compare_exchange_n, __atomic_fetch_add, htonl, __atomic_store_n, ntohs, __atomic_load_n, __atomic_thread_fence, __atomic_fetch_and, memchr 73 The following functions are not defined or handled internally: __atomic_fetch_or, __atomic_fetch_sub, __atomic_exchange_n, __atomic_fetch_xor, htons, ntohl, __atomic_compare_exchange_n, __atomic_fetch_add, htonl, __atomic_store_n, ntohs, __atomic_load_n, __atomic_thread_fence, __atomic_fetch_and 39 The following functions are not defined or handled internally: __atomic_fetch_or, __atomic_fetch_sub, __atomic_exchange_n, __atomic_fetch_xor, htons, ntohl, __atomic_compare_exchange_n, __atomic_fetch_add, htonl, __atomic_store_n, ntohs, __atomic_load_n, __atomic_thread_fence, __atomic_fetch_and, aws_array_list_ensure_capacity 34 The following functions are not defined or handled internally: strcat, sprintf 28 The following functions are not defined or handled internally: ldv_xmalloc, sprintf 24 The following functions are not defined or handled internally: ____ilog2_NaN 23 The following functions are not defined or handled internally: strstr, sprintf 20 The following functions are not defined or handled internally: ldv_xmalloc 14 The following functions are not defined or handled internally: strrchr 14 The following functions are not defined or handled internally: _kstrtoul, sprintf 13 The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t 13 The following functions are not defined or handled internally: pthread_detach 13 The following functions are not defined or handled internally: fopen 11 The following functions are not defined or handled internally: ldv_calloc, sprintf 11 The following functions are not defined or handled internally: ldv_calloc 11 The following functions are not defined or handled internally: kmem_cache_alloc_notrace 11 The following functions are not defined or handled internally: fflush, strerror 10 The following functions are not defined or handled internally: strcat, strncat, sprintf 10 The following functions are not defined or handled internally: __request_region 10 The following functions are not defined or handled internally: __atomic_fetch_or, __atomic_fetch_sub, __atomic_exchange_n, aws_mem_acquire, __atomic_fetch_xor, htons, aws_mem_release, ntohl, __atomic_compare_exchange_n, __atomic_fetch_add, htonl, __atomic_store_n, ntohs, __atomic_load_n, __atomic_thread_fence, __atomic_fetch_and, aws_array_list_ensure_capacity 9 The following functions are not defined or handled internally: fflush 7 The following functions are not defined or handled internally: __VERIFIER_nondet_u32 7 The following functions are not defined or handled internally: __VERIFIER_nondet_u16, __VERIFIER_nondet_u8, __VERIFIER_nondet_u32 7 The following functions are not defined or handled internally: strcat 6 The following functions are not defined or handled internally: kmem_cache_alloc_notrace, sprintf 5 The following functions are not defined or handled internally: vsnprintf, sprintf 5 The following functions are not defined or handled internally: strstr 5 The following functions are not defined or handled internally: strpbrk 5 The following functions are not defined or handled internally: netdev_printk, sprintf 5 The following functions are not defined or handled internally: netdev_printk, ldv_xmalloc, sprintf 5 The following functions are not defined or handled internally: ldv_xmalloc, ldv_calloc, sprintf 4 The following functions are not defined or handled internally: __VERIFIER_nondet_u8 4 The following functions are not defined or handled internally: sprintf, ldv_assume 4 The following functions are not defined or handled internally: sleep 4 The following functions are not defined or handled internally: ldv_xmalloc, ldv_calloc 4 The following functions are not defined or handled internally: ldv_assume, sprintf 4 The following functions are not defined or handled internally: ldv_assume 4 The following functions are not defined or handled internally: fflush, strtoull, strspn 4 The following functions are not defined or handled internally: fflush, strerror, strtoull, ferror, fopen, setbuf, fclose, putchar, strtoul, fputs, fseek, fread 4 The following functions are not defined or handled internally: fflush, strerror, strtoul 4 The following functions are not defined or handled internally: fflush, strerror, fopen, ferror, fclose, putchar, strtoul, fputs, strtok 3 The following functions are not defined or handled internally: __VERIFIER_nondet_u8, __VERIFIER_nondet_u32 3 The following functions are not defined or handled internally: swprintf, sprintf 3 The following functions are not defined or handled internally: strrchr, sprintf 3 The following functions are not defined or handled internally: strrchr, kmem_cache_alloc_notrace 3 The following functions are not defined or handled internally: strerror, sleep 3 The following functions are not defined or handled internally: strcat, strncat, ldv_xmalloc, sprintf 3 The following functions are not defined or handled internally: memchr, sprintf 3 The following functions are not defined or handled internally: ldv_xmalloc, memchr, sprintf 3 The following functions are not defined or handled internally: _kstrtoul 3 The following functions are not defined or handled internally: fflush, strtoull, strtol, strstr, putchar, strtoll 3 The following functions are not defined or handled internally: fflush, strtoull, strerror, fopen, ferror, fclose, putchar, fputs 3 The following functions are not defined or handled internally: fflush, strerror, fopen, strtoul, fwrite 3 The following functions are not defined or handled internally: fflush, strerror, ferror, fopen, clearerr, strstr, fclose, putchar, strtoul, fputs, strcspn 3 The following functions are not defined or handled internally: __atomic_fetch_or, __atomic_fetch_sub, aws_last_error, __atomic_exchange_n, aws_mem_acquire, __atomic_fetch_xor, htons, aws_mem_release, ntohl, __atomic_compare_exchange_n, __atomic_fetch_add, htonl, aws_raise_error_private, __atomic_store_n, ntohs, __atomic_load_n, __atomic_thread_fence, __atomic_fetch_and, aws_array_list_ensure_capacity 2 The following functions are not defined or handled internally: vmap, ldv_xmalloc, vunmap, sprintf 2 The following functions are not defined or handled internally: swprintf 2 The following functions are not defined or handled internally: strncat 2 The following functions are not defined or handled internally: strcspn, sprintf 2 The following functions are not defined or handled internally: strcat, strstr, strcspn, sprintf 2 The following functions are not defined or handled internally: strcat, kmem_cache_alloc_notrace, sprintf 2 The following functions are not defined or handled internally: fflush, strtoul 2 The following functions are not defined or handled internally: fflush, strerror, strtoull, putchar, strtoul, fputs, vsnprintf, close 2 The following functions are not defined or handled internally: fflush, strerror, putchar, strtoul 2 The following functions are not defined or handled internally: fflush, strerror, putchar, fputs 2 The following functions are not defined or handled internally: fflush, strerror, fopen, strtoul 2 The following functions are not defined or handled internally: fflush, strerror, fopen, ferror, strstr, fclose, strtoul 2 The following functions are not defined or handled internally: fflush, strerror, fopen, ferror, strstr, fclose, putchar, strtoul, fwrite 2 The following functions are not defined or handled internally: fflush, strerror, fopen, ferror, setbuf, strtoul, fwrite 2 The following functions are not defined or handled internally: fflush, strerror, ferror, strtoul, close 2 The following functions are not defined or handled internally: fflush, putchar, strtoul, ctime, sprintf 2 The following functions are not defined or handled internally: fflush, localtime, strerror, mktime, strftime, strspn, strrchr, strtoll, strtoul 2 The following functions are not defined or handled internally: __buggy_use_of_MTHCA_GET, __buggy_use_of_MTHCA_PUT, sprintf 2 The following functions are not defined or handled internally: __atomic_fetch_or, __atomic_fetch_sub, aws_last_error, __atomic_exchange_n, aws_mem_acquire, __atomic_fetch_xor, htons, aws_mem_release, ntohl, __atomic_compare_exchange_n, aws_raise_error, __atomic_fetch_add, htonl, __atomic_store_n, ntohs, __atomic_load_n, aws_add_size_checked, aws_mul_size_checked, __atomic_thread_fence, __atomic_fetch_and, aws_array_list_ensure_capacity 2 The following functions are not defined or handled internally: __atomic_fetch_or, __atomic_fetch_sub, aws_last_error, __atomic_exchange_n, __atomic_fetch_xor, htons, ntohl, __atomic_compare_exchange_n, __atomic_fetch_add, htonl, __atomic_store_n, ntohs, __atomic_load_n, __atomic_thread_fence, __atomic_fetch_and, aws_array_list_ensure_capacity 1 The following functions are not defined or handled internally: vm_iomap_memory, __phys_addr 1 The following functions are not defined or handled internally: __VERIFIER_nondet_unsigned_char 1 The following functions are not defined or handled internally: __VERIFIER_nondet_u32, sprintf 1 The following functions are not defined or handled internally: __VERIFIER_nondet_u32, ldv_is_err, ldv_assume 1 The following functions are not defined or handled internally: __VERIFIER_nondet_u16, __VERIFIER_nondet_u8, __VERIFIER_nondet_u32, sprintf 1 The following functions are not defined or handled internally: __VERIFIER_nondet_u16, __VERIFIER_nondet_u8 1 The following functions are not defined or handled internally: __VERIFIER_nondet_u16, __VERIFIER_nondet_u32 1 The following functions are not defined or handled internally: __VERIFIER_nondet_u16 1 The following functions are not defined or handled internally: __VERIFIER_nondet_charp 1 The following functions are not defined or handled internally: __sync_fetch_and_add 1 The following functions are not defined or handled internally: strstr, memchr, sprintf 1 The following functions are not defined or handled internally: strstr, ldv_calloc, sprintf 1 The following functions are not defined or handled internally: strncat, strstr, vsnprintf, sprintf 1 The following functions are not defined or handled internally: strcat, vsprintf, sprintf 1 The following functions are not defined or handled internally: strcat, lustre_swab_lov_user_md_objects, ldv_xmalloc, strrchr, ldv_calloc, memchr, sprintf 1 The following functions are not defined or handled internally: strcat, ldv_xmalloc, ldv_calloc, sprintf 1 The following functions are not defined or handled internally: strcat, ldv_calloc, sprintf 1 The following functions are not defined or handled internally: smp_send_req, toupper, sprintf 1 The following functions are not defined or handled internally: read 1 The following functions are not defined or handled internally: netdev_printk, ldv_xmalloc, ldv_calloc, sprintf 1 The following functions are not defined or handled internally: memchr 1 The following functions are not defined or handled internally: ldv_xmalloc, vsnprintf, sprintf 1 The following functions are not defined or handled internally: ldv_is_err, sprintf, ldv_assume 1 The following functions are not defined or handled internally: ldv_is_err, ldv_assume, sprintf 1 The following functions are not defined or handled internally: ldv_calloc, vsnprintf, sprintf 1 The following functions are not defined or handled internally: ldv_calloc, sprintf, ldv_assume 1 The following functions are not defined or handled internally: _kstrtol, sprintf 1 The following functions are not defined or handled internally: il_write_targ_mem, sprintf 1 The following functions are not defined or handled internally: fflush, putchar, strtoul 1 The following functions are not defined or handled internally: addrcmp