1i2c_master_recv s32min-s32max 1-s32max[<=$2] 2i2c_master_recv s32min-0,2-s32max 1-s32max[<=$2] 3hid_hw_output_report s32min-s32max 1-s32max[<=$2] 4_regmap_read s32min-(-1),1-s32max (-4095)-(-1) 5regmap_bulk_read s32min-(-1),1-s32max (-4095)-(-1) 6scnprintf s32min-s32max 0-s32max[<$1] 7scnprintf s32min-(-2),0-2147483646[<$1] 0-s32max[<$1] 8scnprintf s32min-(-2),0-2147483646 0-s32max[<$1] 9scnprintf s32min-s32max[<=$1] 0-s32max[<$1] 10scnprintf 0-s32max 0-s32max[<$1] 11vscnprintf s32min-(-2),0-s32max[<$1] 0-s32max[<$1] 12down_interruptible s32min-s32max (-62),(-4) 13__sock_create s32min-(-1),1-s32max (-4095)-(-1) 14__sock_create s32min-(-90),(-88)-(-1),1-s32max (-4095)-(-90),(-88)-(-1) 15sock_create_kern s32min-(-1),1-s32max (-4095)-(-1) 16sock_create_kern s32min-(-90),(-88)-(-1),1-s32max (-4095)-(-90),(-88)-(-1) 17nilfs_cpfile_get_checkpoint_block s32min-(-18),(-16)-s32max (-4095)-(-18),(-16)-(-1) 18nilfs_cpfile_get_checkpoint_block s32min-(-18),(-16)-(-3),(-1),1-s32max (-4095)-(-18),(-16)-(-3),(-1) 19nilfs_mdt_insert_new_block s32min-(-23),(-21)-(-1),1-s32max (-4095)-(-23),(-21)-(-1) 20simple_write_to_buffer s64min-s64max 0-s32max[<=$1] 21atomic_read s32min-s32max s32min-s32max[==$0->counter] 22notifier_to_errno (-2147483646)-(-1) (-4095)-(-1) 23notifier_to_errno (-2147450878)-(-1) (-4095)-(-1) 24mc_status_to_error s32min-s32max (-4095)-0 25fls s32min-s32max 0-32 26fls64 s64min-s64max 0-64 27__bitmap_weight s32min-s32max 0-s32max[<=$1] 28__bitmap_weight 0-s32max 0-s32max[<=$1] 29__ffs 0-u64max 0-63 30__ffs 0-u32max 0-31 31find_last_bit 0-u64max 0-u32max[<=$1] 32__spi_sync (-524),(-115),(-108),(-22) (-4095)-0 33tpm_tis_spi_read_bytes s32min-s32max (-4095)-0 34__irq_domain_activate_irq s32min-s32max (-4095)-0 35get_user_pages_fast s32min-s32max 1-s32max[<=$1] 36get_user_pages s32min-s32max (-4095)-s32max[<=$1] 37get_user_pages s64min-s64max (-4095)-s64max[<=$1] 38get_user_pages_remote 1-s64max 1-s64max[<=$3] 39get_user_pages_remote (-133),(-14),(-12),1-s64max (-133),(-14),(-12),1-s64max[<=$3] 40__nci_request s32min-s32max (-4095)-0 41wait_for_common s64min-s64max 0-s64max[<=$1] 42wait_for_common 64min-(-1),1-s64max 1-s64max[<=$1] 43dma_fence_wait_timeout s64min-(-1),1-s64max (-4095)-(-1),1-s32max[<=2] 44dma_fence_wait_timeout s64min-s64max (-4095)-s32max 45dma_fence_wait_timeout s32min-s32max (-4095)-s32max 46__fw_state_wait_common s32min-s32max (-4095)-(-1) 47__ilog2_u32 s32min-s32max 0-31 48__ilog2_u64 s32min-s32max 0-63 49driver_attach s32min-s32max (-4095)-0 50mbox_post_sync_cmd 255 0-255 51mmc_io_rw_extended s32min-(-1),1-s32max (-4095)-(-1) 52kernel_read s64min-s64max (-4095)-1000000000 53security_kernel_post_read_file s32min-(-1),1-s32max (-4095)-(-1) 54array_index_mask_nospec 0-u64max u64max 55array_index_mask_nospec 0-u32max u32max 56nla_len (-4)-65531[$0->nla_len\ -\ 4] 0-65531[$0->nla_len\ -\ 4] 57__rounddown_pow_of_two 0-u64max 0-u64max[<=$0] 58__roundup_pow_of_two 0-u64max 0-u64max[>=$0] 59kthread_probe_data 0 0-u64max 60bus_for_each_dev (-4095)-1 (-4095)-1[r\ $3] 61ahd_probe_stack_size 0 0-s32max 62mutex_lock_interruptible_nested (-35),(-4) (-4) 63dlfb_get_urb 0-u64max 4096-ptr_max 64bitmap_find_free_region 0 0-s32max 65mutex_lock_interruptible (-35),(-4) (-4) 66mutex_lock_interruptible_nested (-35),(-4) (-4) 67mutex_lock_killable (-35),(-4) (-4) 68mutex_lock_killable_nested (-35),(-4) (-4) 69ww_mutex_lock_interruptible (-35),(-4) (-4) 70ww_mutex_lock (-35),(-4) (-35) 71