Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/bluetooth/smp.c sc_mackey_and_ltk() -> smp_f5()

Type Parameter Key Value
PARAM_VALUE 3 a1 1771035785477758976
PARAM_VALUE 4 a2 4112196570756689920
BUF_SIZE 0 w 32
BUF_SIZE 1 n1 16
BUF_SIZE 1 n1 16
BUF_SIZE 2 n2 16
BUF_SIZE 2 n2 16
BUF_SIZE 3 a1 7
BUF_SIZE 4 a2 7
BUF_SIZE 5 mackey 16
BUF_SIZE 5 mackey 16
BUF_SIZE 6 ltk 16
BUF_SIZE 6 ltk 16
DATA_SOURCE 5 mackey $1
DATA_SOURCE 6 ltk $2
RX_PATH
LOCK2 &conn->lock
HALF_LOCKED2 &chan->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct l2cap_conn)->lock

net/bluetooth/smp.c test_f5() -> smp_f5()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
PARAM_VALUE 1 n1 4096-ptr_max
PARAM_VALUE 2 n2 4096-ptr_max
PARAM_VALUE 3 a1 4096-ptr_max
PARAM_VALUE 4 a2 4096-ptr_max
BUF_SIZE 0 w 32
BUF_SIZE 1 n1 16
BUF_SIZE 2 n2 16
BUF_SIZE 3 a1 7
BUF_SIZE 4 a2 7
BUF_SIZE 5 mackey 16
BUF_SIZE 6 ltk 16