smatch_data/kernel.ignore_side_effects

   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
  31 nh_vmac_nhbytes
  32 ntohl
  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 send_bits
  57 send_code
  58 SOCK_ADDR_LOAD_NESTED_FIELD
  59 SOCK_ADDR_LOAD_NESTED_FIELD_SIZE_OFF
  60 SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD_SIZE_OFF
  61 SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD
  62 SOCK_OPS_GET_TCP32
  63 unsafe_get_user
  64 unsafe_put_user
  65 VIA_OUT_RING_QW
  66 WRITE64
  67 Z