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