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