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 */
8ADD_STA_STATS
9ARCH_DLINFO
10AWDATA
11ENCODE
12ENCODE_DATA
13ENCODE_STR
14get_child
15get_child_rcu
16get_unaligned
17get_user
18__get_user
19__get_user_nocheck
20hybrid_tuner_request_state
21iterate_bvec
22iterate_all_kinds
23lookup
24lookup_rightempty
25MAKE_RAW_BYTE
26MAKE_RAW_BYTE_56K
27mdelay
28MsgHead
29MUL64
30NEW_AUX_ENT
31nh_vmac_nhbytes
32ntohl
33OUT_RING_REG
34poly_step
35PUT_BYTE
36put_short
37put_user
38__put_user
39__put_user_nocheck
40R128_WAIT_UNTIL_PAGE_FLIPPED
41R600_CLEAR_AGE
42R600_DISPATCH_AGE
43R600_FRAME_AGE
44RADEON_CLEAR_AGE
45RADEON_DISPATCH_AGE
46RADEON_FLUSH_CACHE
47RADEON_FRAME_AGE
48RADEON_PURGE_CACHE
49RADEON_PURGE_ZCACHE
50RADEON_WAIT_UNTIL_2D_IDLE
51RADEON_WAIT_UNTIL_3D_IDLE
52RADEON_WAIT_UNTIL_IDLE
53RCU_INIT_POINTER
54READ64
55rtnl_dereference
56send_bits
57send_code
58SOCK_ADDR_LOAD_NESTED_FIELD
59SOCK_ADDR_LOAD_NESTED_FIELD_SIZE_OFF
60SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD_SIZE_OFF
61SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD
62SOCK_OPS_GET_TCP32
63unsafe_get_user
64unsafe_put_user
65VIA_OUT_RING_QW
66WRITE64
67Z
68