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_unaligned
  16 get_user
  17 __get_user
  18 __get_user_nocheck
  19 hybrid_tuner_request_state
  20 iterate_bvec
  21 iterate_all_kinds
  22 lookup
  23 lookup_rightempty
  24 MAKE_RAW_BYTE
  25 MAKE_RAW_BYTE_56K
  26 mdelay
  27 MsgHead
  28 MUL64
  29 NEW_AUX_ENT
  30 nh_vmac_nhbytes
  31 ntohl
  32 OUT_RING_REG
  33 poly_step
  34 PUT_BYTE
  35 put_short
  36 put_user
  37 __put_user
  38 __put_user_nocheck
  39 R128_WAIT_UNTIL_PAGE_FLIPPED
  40 R600_CLEAR_AGE
  41 R600_DISPATCH_AGE
  42 R600_FRAME_AGE
  43 RADEON_CLEAR_AGE
  44 RADEON_DISPATCH_AGE
  45 RADEON_FLUSH_CACHE
  46 RADEON_FRAME_AGE
  47 RADEON_PURGE_CACHE
  48 RADEON_PURGE_ZCACHE
  49 RADEON_WAIT_UNTIL_2D_IDLE
  50 RADEON_WAIT_UNTIL_3D_IDLE
  51 RADEON_WAIT_UNTIL_IDLE
  52 READ64
  53 rtnl_dereference
  54 send_bits
  55 send_code
  56 VIA_OUT_RING_QW
  57 WRITE64
  58 Z