Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ipv4/tcp_ao.c __tcp_ao_key_cmp() -> ipv4_prefix_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | addr1->s_addr | 1-u32max |
| PARAM_VALUE | 1 | addr2->s_addr | 1-u32max |
| DATA_SOURCE | 2 | prefixlen | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | prefixlen | 0-128[c] |
| HALF_LOCKED2 | sk |