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]
|