Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/firmware/efi/libstub/tpm.c efi_retrieve_tcg2_eventlog() -> __calc_tpm2_event_size()

Type Parameter Key Value
PARAM_VALUE 0 event 1-u64max
PARAM_VALUE 1 event_header 1-u64max
PARAM_VALUE 2 do_mapping 0
DATA_SOURCE 0 event $2
DATA_SOURCE 1 event_header $1
BIT_INFO 0 event 0x0,0x0
BIT_INFO 1 event_header 0x0,0x0

drivers/firmware/efi/libstub/tpm.c efi_retrieve_tcg2_eventlog() -> __calc_tpm2_event_size()

Type Parameter Key Value
PARAM_VALUE 0 event 4096-ptr_max
PARAM_VALUE 1 event_header 1-u64max
PARAM_VALUE 2 do_mapping 0
DATA_SOURCE 1 event_header $1
BIT_INFO 1 event_header 0x0,0x0
UNITS 0 event unit_byte

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

Type Parameter Key Value
PARAM_VALUE 2 do_mapping 0
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
DATA_SOURCE 0 event $0
DATA_SOURCE 1 event_header $1
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/firmware/efi/tpm.c tpm2_calc_event_log_size() -> __calc_tpm2_event_size()

Type Parameter Key Value
PARAM_VALUE 0 event 4096-ptr_max
PARAM_VALUE 2 do_mapping 1
DATA_SOURCE 1 event_header $2
UNITS 0 event unit_byte
LOCK2 irq