typecheck
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(struct ctlreg, array[0]); \
typecheck(struct ctlreg, array[0]); \
typecheck(unsigned long, mflags); \
typecheck(psw_t, __psw); \
typecheck(int, lp->lock);
typecheck(t, a)
typecheck(t, a)
typecheck(t, a)
typecheck(t, a)
typecheck(t, a)
typecheck(unsigned long, device->rs_total);
typecheck(struct gpu_metrics_v##frev##_##crev *, (ptr)); \
typecheck(struct amdgpu_partition_metrics_v##fr##_##cr *, \
typecheck(struct amdgpu_baseboard_temp_metrics_v##fr##_##cr *, \
typecheck(struct amdgpu_gpuboard_temp_metrics_v##fr##_##cr *, \
BUILD_BUG_ON(!typecheck(u16, rq->engine->uabi_class));
BUILD_BUG_ON(!typecheck(int, _i)); \
typecheck(typeof(ring->size), next);
typecheck(typeof(ring->size), prev);
typecheck(u64, x); \
typecheck(struct intel_gt *, data); \
typecheck(struct drm_i915_private *, data); \
typecheck(const struct xe_device *, xe); \
#define xe_gt_sriov_dbg_verbose(_gt, _fmt, ...) typecheck(struct xe_gt *, (_gt))
#define VF_MIGRATION_INJECT_WAIT(_gt, ...) typecheck(struct xe_gt *, (_gt))
#define IS_SRIOV_PF(xe) (typecheck(struct xe_device *, (xe)) && false)
#define xe_sriov_dbg_verbose(xe, fmt, ...) typecheck(struct xe_device *, (xe))
_ib_uverbs_lookup_comp_file((_fd)*typecheck(s32, _fd), _ufile)
typecheck(__type, __field); \
typecheck(__type, __field); \
for (typecheck(const void *, cursor), (cursor) = (conf)->data; \
typecheck(typeof(virtio_le_to_cpu(_hdl.req->dest_member)), \
typecheck(typeof(virtio_le_to_cpu((hdl).resp->src_member)), \
#define ver_after(a, b) (typecheck(unsigned long long, a) && \
typecheck(unsigned long long, b) && \
(typecheck(__u32, a) && typecheck(__u32, b) && \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
(typecheck(unsigned long, a) && \
typecheck(unsigned long, b) && \
(typecheck(unsigned long, a) && \
typecheck(unsigned long, b) && \
(typecheck(__u64, a) && \
typecheck(__u64, b) && \
(typecheck(__u64, a) && \
typecheck(__u64, b) && \
typecheck(typeof((dest).ptr), v); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(struct lockdep_map *, &(lock)->dep_map); \
typecheck(struct lockdep_map *, &(lock)->dep_map); \
typecheck(struct lockdep_map *, &(lock)->dep_map); \
typecheck(struct lockdep_map *, &(nest_lock)->dep_map); \
typecheck(struct lockdep_map *, &(nest_lock)->dep_map), \
typecheck(struct lockdep_map *, &(nest_lock)->dep_map), \
typecheck(struct lockdep_map *, &(nest_lock)->dep_map); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(struct lockdep_map *, &(nest_lock)->dep_map); \
typecheck(struct lockdep_map *, &(nest_lock)->dep_map);\
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(struct lockdep_map *, &(nest_lock)->dep_map); \
typecheck(unsigned long, flags); \
typecheck(u64, (x)); \
typecheck(typeof(virtio_to_cpu((vdev), virtio_cread_v)), *(ptr)); \
typecheck(typeof(virtio_to_cpu((vdev), virtio_cwrite_v)), *(ptr)); \
typecheck(typeof(virtio_le_to_cpu(virtio_cread_v)), *(ptr)); \
typecheck(typeof(virtio_le_to_cpu(virtio_cwrite_v)), *(ptr)); \
(typecheck(codel_time_t, a) && \
typecheck(codel_time_t, b) && \
(typecheck(codel_time_t, a) && \
typecheck(codel_time_t, b) && \
#define _uobj_check_id(_id) ((_id) * typecheck(u32, _id))
(_fdnum)*typecheck(s32, _fdnum), \
typecheck(unsigned long, flags); \
typecheck(unsigned long, flags); \
typecheck(u8 *, recursion_ptr); \
typecheck(u8 *, recursion_ptr); \
(typecheck(u32, a) && typecheck(u32, b) && ((s32)((a) - (b)) < 0))