Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/tpm/eventlog/tpm2.c tpm2_binary_bios_measurements_show() -> calc_tpm2_event_size()

Type Parameter Key Value
PARAM_VALUE 0 event 2-ptr_max
BUF_SIZE 1 event_header 1-s32max
BUF_SIZE 1 event_header 1-s32max
DATA_SOURCE 0 event $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

drivers/char/tpm/eventlog/tpm2.c tpm2_bios_measurements_next() -> calc_tpm2_event_size()

Type Parameter Key Value
PARAM_VALUE 0 event 2-ptr_max
BUF_SIZE 1 event_header 1-s32max
BUF_SIZE 1 event_header 1-s32max
DATA_SOURCE 0 event $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

drivers/char/tpm/eventlog/tpm2.c tpm2_bios_measurements_next() -> calc_tpm2_event_size()

Type Parameter Key Value
PARAM_VALUE 0 event 4096-ptr_max
BUF_SIZE 1 event_header 1-s32max
BUF_SIZE 1 event_header 1-s32max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 event_header->event_size
UNITS 0 event unit_byte
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

drivers/char/tpm/eventlog/tpm2.c tpm2_bios_measurements_start() -> calc_tpm2_event_size()

Type Parameter Key Value
PARAM_VALUE 1 event_header 4096-ptr_max
BUF_SIZE 1 event_header 1-s32max
BUF_SIZE 1 event_header 1-s32max
PARAM_COMPARE 0 event > $1
PARAM_COMPARE 0 event > $1
PARAM_COMPARE 1 event_header < $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 event_header->event_size
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

drivers/char/tpm/eventlog/tpm2.c tpm2_bios_measurements_start() -> calc_tpm2_event_size()

Type Parameter Key Value
PARAM_VALUE 1 event_header 4096-ptr_max
BUF_SIZE 0 event (-1),1-s32max
BUF_SIZE 0 event (-1),1-s32max
BUF_SIZE 1 event_header 1-s32max
BUF_SIZE 1 event_header 1-s32max
PARAM_COMPARE 0 event >= $1
PARAM_COMPARE 0 event >= $1
PARAM_COMPARE 1 event_header <= $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 event_header->event_size
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock