1 /*
   2  * Manually created.
   3  *
   4  * Most of these have intentional side effects.
   5  * Some of them like put_user() and friends, have side effects when __CHECKER__
   6  * is defined but not in the compiled kernel.
   7  */
   8 ADD_STA_STATS
   9 ARCH_DLINFO
  10 AWDATA

  11 ENCODE
  12 ENCODE_DATA
  13 ENCODE_STR
  14 get_child
  15 get_child_rcu
  16 get_unaligned
  17 get_user
  18 __get_user
  19 __get_user_nocheck
  20 hybrid_tuner_request_state
  21 iterate_bvec
  22 iterate_all_kinds
  23 lookup
  24 lookup_rightempty
  25 MAKE_RAW_BYTE
  26 MAKE_RAW_BYTE_56K
  27 mdelay
  28 MsgHead
  29 MUL64
  30 NEW_AUX_ENT

  33 OUT_RING_REG
  34 poly_step
  35 PUT_BYTE
  36 put_short
  37 put_user
  38 __put_user
  39 __put_user_nocheck
  40 R128_WAIT_UNTIL_PAGE_FLIPPED
  41 R600_CLEAR_AGE
  42 R600_DISPATCH_AGE
  43 R600_FRAME_AGE
  44 RADEON_CLEAR_AGE
  45 RADEON_DISPATCH_AGE
  46 RADEON_FLUSH_CACHE
  47 RADEON_FRAME_AGE
  48 RADEON_PURGE_CACHE
  49 RADEON_PURGE_ZCACHE
  50 RADEON_WAIT_UNTIL_2D_IDLE
  51 RADEON_WAIT_UNTIL_3D_IDLE
  52 RADEON_WAIT_UNTIL_IDLE

  53 RCU_INIT_POINTER
  54 READ64
  55 rtnl_dereference
  56 SK_REUSEPORT_LOAD_SKB_FIELD
  57 SK_REUSEPORT_LOAD_SK_FIELD_SIZE_OFF
  58 send_bits
  59 send_code
  60 SOCK_ADDR_LOAD_NESTED_FIELD
  61 SOCK_ADDR_LOAD_NESTED_FIELD_SIZE_OFF
  62 SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD_SIZE_OFF
  63 SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD
  64 SOCK_OPS_GET_FIELD
  65 SOCK_OPS_GET_OR_SET_FIELD
  66 SOCK_OPS_GET_TCP32
  67 unsafe_get_user
  68 unsafe_put_user
  69 VIA_OUT_RING_QW

  70 WRITE64
  71 Z

   1 /*
   2  * Manually created.
   3  *
   4  * Most of these have intentional side effects.
   5  * Some of them like put_user() and friends, have side effects when __CHECKER__
   6  * is defined but not in the compiled kernel.
   7  */
   8 ADD_STA_STATS
   9 ARCH_DLINFO
  10 AWDATA
  11 CONVERT_COMMON_TCP_SOCK_FIELDS
  12 ENCODE
  13 ENCODE_DATA
  14 ENCODE_STR
  15 get_child
  16 get_child_rcu
  17 get_unaligned
  18 get_user
  19 __get_user
  20 __get_user_nocheck
  21 hybrid_tuner_request_state
  22 iterate_bvec
  23 iterate_all_kinds
  24 lookup
  25 lookup_rightempty
  26 MAKE_RAW_BYTE
  27 MAKE_RAW_BYTE_56K
  28 mdelay
  29 MsgHead
  30 MUL64
  31 NEW_AUX_ENT

  34 OUT_RING_REG
  35 poly_step
  36 PUT_BYTE
  37 put_short
  38 put_user
  39 __put_user
  40 __put_user_nocheck
  41 R128_WAIT_UNTIL_PAGE_FLIPPED
  42 R600_CLEAR_AGE
  43 R600_DISPATCH_AGE
  44 R600_FRAME_AGE
  45 RADEON_CLEAR_AGE
  46 RADEON_DISPATCH_AGE
  47 RADEON_FLUSH_CACHE
  48 RADEON_FRAME_AGE
  49 RADEON_PURGE_CACHE
  50 RADEON_PURGE_ZCACHE
  51 RADEON_WAIT_UNTIL_2D_IDLE
  52 RADEON_WAIT_UNTIL_3D_IDLE
  53 RADEON_WAIT_UNTIL_IDLE
  54 rcu_assign_pointer
  55 RCU_INIT_POINTER
  56 READ64
  57 rtnl_dereference
  58 SK_REUSEPORT_LOAD_SKB_FIELD
  59 SK_REUSEPORT_LOAD_SK_FIELD_SIZE_OFF
  60 send_bits
  61 send_code
  62 SOCK_ADDR_LOAD_NESTED_FIELD
  63 SOCK_ADDR_LOAD_NESTED_FIELD_SIZE_OFF
  64 SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD_SIZE_OFF
  65 SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD
  66 SOCK_OPS_GET_FIELD
  67 SOCK_OPS_GET_OR_SET_FIELD
  68 SOCK_OPS_GET_TCP32
  69 unsafe_get_user
  70 unsafe_put_user
  71 VIA_OUT_RING_QW
  72 WREG32_SOC15_DPG_MODE_2_0
  73 WRITE64
  74 Z