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