Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireguard/cookie.c wg_cookie_add_mac_to_packet() -> compute_mac2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | message | 1782801591656509440,4946942157348179968 |
| PARAM_VALUE | 2 | len | 92,148 |
| BUF_SIZE | 0 | mac2 | 16 |
| BUF_SIZE | 1 | message | 92,148 |
| BUF_SIZE | 1 | message | 92,148 |
| BUF_SIZE | 3 | cookie | 16 |
| DATA_SOURCE | 1 | message | $0 |
| DATA_SOURCE | 2 | len | $1 |
| HARD_MAX | 2 | len | 148 |
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | &peer->latest_cookie.lock | ||
| TYPE_LOCK | (struct cookie)->lock |
drivers/net/wireguard/cookie.c wg_cookie_validate_packet() -> compute_mac2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mac2 | 8217202966596317184 |
| PARAM_VALUE | 1 | message | 4096-ptr_max |
| BUF_SIZE | 0 | mac2 | 16 |
| BUF_SIZE | 1 | message | 1-s32max |
| BUF_SIZE | 3 | cookie | 16 |
| NOCHECK_CALL | |||
| UNITS | 1 | message | unit_byte |
| UNITS | 2 | len | unit_byte |