Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/char/tpm/tpm-chip.c tpm_add_char_device() -> tpm_is_firmware_upgrade()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->flags 2-u32max
BUF_SIZE 0 chip (-1),9120
BUF_SIZE 0 chip (-1),9120
BUF_SIZE 0 chip->ops (-1),104
CAPPED_DATA 0 &chip->dev 1
DATA_SOURCE 0 chip $0
BIT_INFO 0 chip->flags 0x2,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 chip->cdev.kobj.parent->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 chip->cdev.kobj.parent->release.cpu s32min-s32max
HOST_DATA 0 chip->cdev.kobj.parent->release.timer.expires 0-u64max
HOST_DATA 0 chip->cdev.kobj.parent->release.timer.flags 0-u32max
HOST_DATA 0 chip->cdev.kobj.parent->release.work.data.counter s64min-s64max
HOST_DATA 0 chip->cdev.kobj.parent->state_add_uevent_sent 0
HOST_DATA 0 chip->cdev.kobj.parent->state_in_sysfs 0
HOST_DATA 0 chip->cdev.kobj.parent->state_initialized 1
HOST_DATA 0 chip->cdev.kobj.parent->state_remove_uevent_sent 0
HOST_DATA 0 chip->cdev.kobj.parent->uevent_suppress 0-1
HOST_DATA 0 chip->hwrng->priv 0-u64max
HOST_DATA 0 *chip->log->bios_event_log 0-255
NO_OVERFLOW_SIMPLE 0 chip->ascii_log_seqops.chip->nr_commands
NO_OVERFLOW_SIMPLE 0 chip->bin_log_seqops.chip->nr_commands
NO_OVERFLOW_SIMPLE 0 chip->cdev.count
NO_OVERFLOW_SIMPLE 0 chip->nr_commands

drivers/char/tpm/tpm-chip.c tpm_add_legacy_sysfs() -> tpm_is_firmware_upgrade()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->flags 2-u32max
BUF_SIZE 0 chip (-1),9120
BUF_SIZE 0 chip (-1),9120
BUF_SIZE 0 chip->ops (-1),104
DATA_SOURCE 0 chip $0
BIT_INFO 0 chip->flags 0x0,0xfffffff5
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 chip->cdev.kobj.parent->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 chip->cdevs.kobj.parent->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 chip->hwrng->priv 0-u64max
HOST_DATA 0 *chip->log->bios_event_log 0-255
NO_OVERFLOW_SIMPLE 0 chip->ascii_log_seqops.chip->nr_commands
NO_OVERFLOW_SIMPLE 0 chip->bin_log_seqops.chip->nr_commands
NO_OVERFLOW_SIMPLE 0 chip->cdev.count
NO_OVERFLOW_SIMPLE 0 chip->cdevs.count
NO_OVERFLOW_SIMPLE 0 chip->nr_commands

drivers/char/tpm/tpm-chip.c tpm_chip_unregister() -> tpm_is_firmware_upgrade()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->flags 2-u32max
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip->ops (-1),104
DATA_SOURCE 0 chip $0
BIT_INFO 0 chip->flags 0x2,0xffffffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 chip->cdev.kobj.parent->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 chip->cdevs.kobj.parent->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 chip->hwrng->priv 0-u64max
HOST_DATA 0 *chip->log->bios_event_log 0-255
NO_OVERFLOW_SIMPLE 0 chip->ascii_log_seqops.chip->nr_commands
NO_OVERFLOW_SIMPLE 0 chip->bin_log_seqops.chip->nr_commands
NO_OVERFLOW_SIMPLE 0 chip->cdev.count
NO_OVERFLOW_SIMPLE 0 chip->cdevs.count
NO_OVERFLOW_SIMPLE 0 chip->nr_commands
UNITS 0 chip unit_byte
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &dev->mutex

drivers/char/tpm/tpm-chip.c tpm_del_legacy_sysfs() -> tpm_is_firmware_upgrade()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip->ops (-1),104
DATA_SOURCE 0 chip $0
BIT_INFO 0 chip->flags 0x0,0xfffffff5
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 chip->cdev.kobj.parent->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 chip->cdevs.kobj.parent->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 chip->cdevs.kobj.parent->release.cpu s32min-s32max
HOST_DATA 0 chip->cdevs.kobj.parent->release.timer.expires 0-u64max
HOST_DATA 0 chip->cdevs.kobj.parent->release.timer.flags 0-u32max
HOST_DATA 0 chip->cdevs.kobj.parent->release.work.data.counter s64min-s64max
HOST_DATA 0 chip->cdevs.kobj.parent->state_add_uevent_sent 0
HOST_DATA 0 chip->cdevs.kobj.parent->state_in_sysfs 0
HOST_DATA 0 chip->cdevs.kobj.parent->state_initialized 1
HOST_DATA 0 chip->cdevs.kobj.parent->state_remove_uevent_sent 0
HOST_DATA 0 chip->cdevs.kobj.parent->uevent_suppress 0-1
HOST_DATA 0 chip->hwrng->priv 0-u64max
HOST_DATA 0 *chip->log->bios_event_log 0-255
NO_OVERFLOW_SIMPLE 0 chip->ascii_log_seqops.chip->nr_commands
NO_OVERFLOW_SIMPLE 0 chip->bin_log_seqops.chip->nr_commands
NO_OVERFLOW_SIMPLE 0 chip->cdev.count
NO_OVERFLOW_SIMPLE 0 chip->cdevs.count
NO_OVERFLOW_SIMPLE 0 chip->nr_commands
UNITS 0 chip unit_byte

drivers/char/tpm/tpm-chip.c tpm_get_pcr_allocation() -> tpm_is_firmware_upgrade()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
BUF_SIZE 0 chip (-1),9120
BUF_SIZE 0 chip (-1),9120
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 chip->nr_commands

drivers/char/tpm/tpm-chip.c tpm_is_hwrng_enabled() -> tpm_is_firmware_upgrade()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip s32min-(-1),1-s32max
BUF_SIZE 0 chip->dev.parent (-1),1616
BUF_SIZE 0 chip->ops (-1),104
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 chip->cdev.kobj.parent->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 chip->cdevs.kobj.parent->kref.refcount.refs.counter s32min-s32max
HOST_DATA 0 chip->cdevs.kobj.parent->release.cpu s32min-s32max
HOST_DATA 0 chip->cdevs.kobj.parent->release.timer.expires 0-u64max
HOST_DATA 0 chip->cdevs.kobj.parent->release.timer.flags 0-u32max
HOST_DATA 0 chip->cdevs.kobj.parent->release.work.data.counter s64min-s64max
HOST_DATA 0 chip->cdevs.kobj.parent->state_add_uevent_sent 0
HOST_DATA 0 chip->cdevs.kobj.parent->state_in_sysfs 0
HOST_DATA 0 chip->cdevs.kobj.parent->state_initialized 1
HOST_DATA 0 chip->cdevs.kobj.parent->state_remove_uevent_sent 0
HOST_DATA 0 chip->cdevs.kobj.parent->uevent_suppress 0-1
HOST_DATA 0 chip->hwrng->priv 0-u64max
HOST_DATA 0 *chip->log->bios_event_log 0-255
NO_OVERFLOW_SIMPLE 0 chip->ascii_log_seqops.chip->nr_commands
NO_OVERFLOW_SIMPLE 0 chip->bin_log_seqops.chip->nr_commands
NO_OVERFLOW_SIMPLE 0 chip->cdev.count
NO_OVERFLOW_SIMPLE 0 chip->cdevs.count
NO_OVERFLOW_SIMPLE 0 chip->nr_commands
UNITS 0 chip unit_byte

drivers/char/tpm/tpm-sysfs.c tpm_sysfs_add_device() -> tpm_is_firmware_upgrade()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
BUF_SIZE 0 chip (-1),9120
BUF_SIZE 0 chip (-1),9120
BUF_SIZE 0 chip->dev.parent (-1),1616
BUF_SIZE 0 chip->ops (-1),104
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 chip->nr_commands