Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/core/neighbour.c neigh_update_hhs() -> neigh_update_hhs ptr update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hh | 4096-ptr_max |
| PARAM_VALUE | 0 | hh->hh_len | 1-u32max |
| PARAM_VALUE | 0 | hh->hh_lock.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | net | 4096-ptr_max |
| PARAM_VALUE | 1 | net->header_ops | 4096-ptr_max |
| PARAM_VALUE | 1 | net->header_ops->cache_update | 0,4136776623896797184,7422325842290319360 |
| BUF_SIZE | 0 | hh | 272 |
| BUF_SIZE | 2 | haddr | 32 |
| CONTAINER | 0 | -24-16-856+520 | $(-1) |
| CONTAINER | 1 | *(-24-16+0) | $(-1) |
| CONTAINER | 2 | *(-24-16-856+488) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | net | unit_byte |
| LOCK2 | &neigh->lock | ||
| LOCK2 | bh | ||
| LOCK2 | 0 | &hh->hh_lock.lock | |
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct neighbour)->lock | ||
| TYPE_LOCK | (struct seqlock)->lock |