Print this page
11972 resync smatch


  36 get_user_pages s64min-s64max (-4095)-s64max[<=$1]
  37 get_user_pages_remote 1-s64max 1-s64max[<=$3]
  38 get_user_pages_remote (-133),(-14),(-12),1-s64max (-133),(-14),(-12),1-s64max[<=$3]
  39 __nci_request s32min-s32max (-4095)-0
  40 wait_for_common s64min-s64max 0-s64max[<=$1]
  41 wait_for_common 64min-(-1),1-s64max 1-s64max[<=$1]
  42 dma_fence_wait_timeout s64min-(-1),1-s64max (-4095)-(-1),1-s32max[<=2]
  43 dma_fence_wait_timeout s64min-s64max (-4095)-s32max
  44 dma_fence_wait_timeout s32min-s32max (-4095)-s32max
  45 __fw_state_wait_common s32min-s32max (-4095)-(-1)
  46 __ilog2_u32 s32min-s32max 0-31
  47 __ilog2_u64 s32min-s32max 0-63
  48 driver_attach s32min-s32max (-4095)-0
  49 mbox_post_sync_cmd 255 0-255
  50 mmc_io_rw_extended s32min-(-1),1-s32max (-4095)-(-1)
  51 kernel_read s64min-s64max (-4095)-1000000000
  52 security_kernel_post_read_file s32min-(-1),1-s32max (-4095)-(-1)
  53 array_index_mask_nospec 0-u64max u64max
  54 array_index_mask_nospec 0-u32max u32max
  55 nla_len (-4)-65531[$0->nla_len\ -\ 4] 0-65531[$0->nla_len\ -\ 4]






  36 get_user_pages s64min-s64max (-4095)-s64max[<=$1]
  37 get_user_pages_remote 1-s64max 1-s64max[<=$3]
  38 get_user_pages_remote (-133),(-14),(-12),1-s64max (-133),(-14),(-12),1-s64max[<=$3]
  39 __nci_request s32min-s32max (-4095)-0
  40 wait_for_common s64min-s64max 0-s64max[<=$1]
  41 wait_for_common 64min-(-1),1-s64max 1-s64max[<=$1]
  42 dma_fence_wait_timeout s64min-(-1),1-s64max (-4095)-(-1),1-s32max[<=2]
  43 dma_fence_wait_timeout s64min-s64max (-4095)-s32max
  44 dma_fence_wait_timeout s32min-s32max (-4095)-s32max
  45 __fw_state_wait_common s32min-s32max (-4095)-(-1)
  46 __ilog2_u32 s32min-s32max 0-31
  47 __ilog2_u64 s32min-s32max 0-63
  48 driver_attach s32min-s32max (-4095)-0
  49 mbox_post_sync_cmd 255 0-255
  50 mmc_io_rw_extended s32min-(-1),1-s32max (-4095)-(-1)
  51 kernel_read s64min-s64max (-4095)-1000000000
  52 security_kernel_post_read_file s32min-(-1),1-s32max (-4095)-(-1)
  53 array_index_mask_nospec 0-u64max u64max
  54 array_index_mask_nospec 0-u32max u32max
  55 nla_len (-4)-65531[$0->nla_len\ -\ 4] 0-65531[$0->nla_len\ -\ 4]
  56 __rounddown_pow_of_two 0-u64max 0-u64max[<=$0]
  57 __roundup_pow_of_two 0-u64max 0-u64max[>=$0]
  58 kthread_probe_data 0 0-u64max
  59 bus_for_each_dev (-4095)-1 (-4095)-1[r\ $3]