Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/6lowpan/iphc.c lowpan_compress_addr_64() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0-u16max |
| PARAM_VALUE | 2 | len | 2 |
| BUF_SIZE | 1 | data | 2 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->tx_global_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_compress_addr_64() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0-u16max |
| PARAM_VALUE | 2 | len | 8 |
| BUF_SIZE | 1 | data | 8 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->tx_global_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_compress_ctx_addr() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0-255 |
| PARAM_VALUE | 2 | len | 2 |
| BUF_SIZE | 1 | data | 2 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->tx_global_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_compress_ctx_addr() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0-255 |
| PARAM_VALUE | 2 | len | 8 |
| BUF_SIZE | 1 | data | 8 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->tx_global_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_header_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *hc_ptr | 7248077260472479746 |
| PARAM_VALUE | 0 | *(*hc_ptr) | 2 |
| PARAM_VALUE | 1 | data | 9162689024100827136 |
| PARAM_VALUE | 1 | *data | 1-255 |
| PARAM_VALUE | 2 | len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &txq->_xmit_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_header_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &txq->_xmit_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_header_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0,2-63,65-254 |
| PARAM_VALUE | 2 | len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &txq->_xmit_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_header_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 16 |
| BUF_SIZE | 1 | data | 16 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &txq->_xmit_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_header_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 2 | len | 16 |
| BUF_SIZE | 1 | data | 16 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &txq->_xmit_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_iphc_mcast_addr_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0-255 |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 1 | data | 1 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_iphc_mcast_addr_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0-255 |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 1 | data | 15 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_iphc_mcast_addr_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *hc_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | **hc_ptr | 0-255 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0-255 |
| PARAM_VALUE | 2 | len | 3 |
| BUF_SIZE | 1 | data | 3 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_iphc_mcast_addr_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0-255 |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 1 | data | 15 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_iphc_mcast_addr_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *hc_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | **hc_ptr | 0-255 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0-255 |
| PARAM_VALUE | 2 | len | 5 |
| BUF_SIZE | 1 | data | 5 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_iphc_mcast_addr_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 16 |
| BUF_SIZE | 1 | data | 16 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_iphc_mcast_ctx_addr_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 2639708130691756032 |
| PARAM_VALUE | 2 | len | 6 |
| BUF_SIZE | 1 | data | 6 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_iphc_tf_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *hc_ptr | 7248077260472479746-7248077260472479747 |
| PARAM_VALUE | 0 | *(*hc_ptr) | 2-3 |
| PARAM_VALUE | 1 | data | 3117834429426991104 |
| PARAM_VALUE | 1 | *data | 1-255 |
| PARAM_VALUE | 2 | len | 1 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_iphc_tf_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *hc_ptr | 7248077260472479746-7248077260472479747 |
| PARAM_VALUE | 0 | *(*hc_ptr) | 2-3 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 3 |
| BUF_SIZE | 1 | data | 4 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/iphc.c lowpan_iphc_tf_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *hc_ptr | 7248077260472479746-7248077260472479747 |
| PARAM_VALUE | 0 | *(*hc_ptr) | 2-3 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 4 |
| BUF_SIZE | 1 | data | 4 |
| DATA_SOURCE | 0 | hc_ptr | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/nhc_udp.c udp_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 3908511278496382976 |
| PARAM_VALUE | 1 | *data | 243 |
| PARAM_VALUE | 2 | len | 1 |
| DATA_SOURCE | 0 | hc_ptr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | global &lowpan_nhc_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/nhc_udp.c udp_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *hc_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | **hc_ptr | 243 |
| PARAM_VALUE | 1 | data | 3908511278496382976 |
| PARAM_VALUE | 1 | *data | 0-255 |
| PARAM_VALUE | 2 | len | 1 |
| DATA_SOURCE | 0 | hc_ptr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | global &lowpan_nhc_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/nhc_udp.c udp_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 3908511278496382976 |
| PARAM_VALUE | 1 | *data | 241 |
| PARAM_VALUE | 2 | len | 1 |
| DATA_SOURCE | 0 | hc_ptr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | global &lowpan_nhc_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/nhc_udp.c udp_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *hc_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | **hc_ptr | 241 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0-u16max |
| PARAM_VALUE | 2 | len | 2 |
| BUF_SIZE | 1 | data | 2 |
| DATA_SOURCE | 0 | hc_ptr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | global &lowpan_nhc_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/nhc_udp.c udp_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *(*hc_ptr) | 241 |
| PARAM_VALUE | 0 | **hc_ptr | 0-255 |
| PARAM_VALUE | 1 | data | 3908511278496382976 |
| PARAM_VALUE | 1 | *data | 0-255 |
| PARAM_VALUE | 2 | len | 1 |
| DATA_SOURCE | 0 | hc_ptr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | global &lowpan_nhc_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/nhc_udp.c udp_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 3908511278496382976 |
| PARAM_VALUE | 1 | *data | 242 |
| PARAM_VALUE | 2 | len | 1 |
| DATA_SOURCE | 0 | hc_ptr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | global &lowpan_nhc_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/nhc_udp.c udp_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *hc_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | **hc_ptr | 242 |
| PARAM_VALUE | 1 | data | 3908511278496382976 |
| PARAM_VALUE | 1 | *data | 0-255 |
| PARAM_VALUE | 2 | len | 1 |
| DATA_SOURCE | 0 | hc_ptr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | global &lowpan_nhc_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/nhc_udp.c udp_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *(*hc_ptr) | 242 |
| PARAM_VALUE | 0 | **hc_ptr | 0-255 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0-u16max |
| PARAM_VALUE | 2 | len | 2 |
| BUF_SIZE | 1 | data | 2 |
| DATA_SOURCE | 0 | hc_ptr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | global &lowpan_nhc_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/nhc_udp.c udp_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 1 | data | 3908511278496382976 |
| PARAM_VALUE | 1 | *data | 240 |
| PARAM_VALUE | 2 | len | 1 |
| DATA_SOURCE | 0 | hc_ptr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | global &lowpan_nhc_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/nhc_udp.c udp_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *hc_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | **hc_ptr | 240 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0-u16max |
| PARAM_VALUE | 2 | len | 2 |
| BUF_SIZE | 1 | data | 2 |
| DATA_SOURCE | 0 | hc_ptr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | global &lowpan_nhc_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/nhc_udp.c udp_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *(*hc_ptr) | 240 |
| PARAM_VALUE | 0 | **hc_ptr | 0-255 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | *data | 0-u16max |
| PARAM_VALUE | 2 | len | 2 |
| BUF_SIZE | 1 | data | 2 |
| DATA_SOURCE | 0 | hc_ptr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | global &lowpan_nhc_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
net/6lowpan/nhc_udp.c udp_compress() -> lowpan_push_hc_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hc_ptr | 2528304241063329792 |
| PARAM_VALUE | 0 | *(*hc_ptr) | 240-243 |
| PARAM_VALUE | 0 | **hc_ptr | 0-255 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 2 |
| BUF_SIZE | 1 | data | 2 |
| DATA_SOURCE | 0 | hc_ptr | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| LOCK2 | global &lowpan_nhc_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |