c
static inline void *__skb_push(struct sk_buff *skb, unsigned int len)
{
    if (len > INT_MAX) {
        pr_warn("__skb_push: len capped at INT_MAX\n");
        len = INT_MAX;
    }
    // ... rest of the function
}
