Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/netfilter/xt_CT.c xt_ct_tg_destroy_v0() -> xt_ct_tg_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | par | 1888703509425479680,2902032121837043712,3319989315019825152,5632717900362186752,7406505373188542464,7617162599716122624 |
| PARAM_VALUE | 0 | par->target | 4096-ptr_max |
| PARAM_VALUE | 0 | par->targinfo | 4096-ptr_max |
| PARAM_VALUE | 1 | info | 5025429402633662464 |
| DATA_SOURCE | 0 | par | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | info->ct_events | 0-u32max[u] |
| USER_DATA | 1 | info->exp_events | 0-u32max[u] |
| USER_DATA | 1 | info->flags | 0-u16max[u] |
| USER_DATA | 1 | info->zone | 0-u16max[u] |
| USER_PTR | 0 | par->targinfo | |
| USER_PTR | 1 | info->helper |
net/netfilter/xt_CT.c xt_ct_tg_destroy_v1() -> xt_ct_tg_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | par | 1888703509425479680,2902032121837043712,3319989315019825152,5632717900362186752,7406505373188542464,7617162599716122624 |
| PARAM_VALUE | 0 | par->target | 4096-ptr_max |
| DATA_SOURCE | 0 | par | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | info->ct_events | 0-u32max[u] |
| USER_DATA | 1 | info->exp_events | 0-u32max[u] |
| USER_DATA | 1 | info->flags | 0-u16max[u] |
| USER_DATA | 1 | info->zone | 0-u16max[u] |
| USER_PTR | 0 | par->targinfo | |
| USER_PTR | 1 | info |