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.
11 CONVERT_COMMON_TCP_SOCK_FIELDS
21 hybrid_tuner_request_state
41 R128_WAIT_UNTIL_PAGE_FLIPPED
51 RADEON_WAIT_UNTIL_2D_IDLE
52 RADEON_WAIT_UNTIL_3D_IDLE
53 RADEON_WAIT_UNTIL_IDLE
58 SK_REUSEPORT_LOAD_SKB_FIELD
59 SK_REUSEPORT_LOAD_SK_FIELD_SIZE_OFF
62 SOCK_ADDR_LOAD_NESTED_FIELD
63 SOCK_ADDR_LOAD_NESTED_FIELD_SIZE_OFF
64 SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD_SIZE_OFF
65 SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD
67 SOCK_OPS_GET_OR_SET_FIELD
72 WREG32_SOC15_DPG_MODE_2_0