Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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
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->nr_commands

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

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->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->hwrng->priv 0-u64max
HOST_DATA 0 chip->hwrng.priv->failure_cnt 0
HOST_DATA 0 chip->hwrng.priv->failure_timer.expires s64min-s64max
HOST_DATA 0 chip->hwrng.priv->failure_timer.flags 0-4194302
HOST_DATA 0 chip->hwrng.priv->failure_ts s64min-s64max
HOST_DATA 0 chip->hwrng.priv->irq 0-4294967295
HOST_DATA 0 chip->hwrng.priv->jrdev->driver_data->inpring_avail 0-4294967295
HOST_DATA 0 chip->hwrng.priv->revision 0-4294967295
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

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

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
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