Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/platform/x86/amd/hsmp/acpi.c hsmp_acpi_probe() -> hsmp_init_metric_read_locks()

Type Parameter Key Value
PARAM_VALUE 0 pdev 5617926281662623744
PARAM_VALUE 0 pdev->num_sockets 1-u16max
PARAM_VALUE 0 pdev->sock 16,4096-ptr_max
BUF_SIZE 0 pdev 96
BUF_SIZE 0 pdev->sock 432
DATA_SOURCE 0 pdev r get_hsmp_pdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pdev->num_sockets
LOCK2 _T->lock

drivers/platform/x86/amd/hsmp/plat.c hsmp_pltdrv_probe() -> hsmp_init_metric_read_locks()

Type Parameter Key Value
PARAM_VALUE 0 pdev 4096-ptr_max
PARAM_VALUE 0 pdev->sock 1-u64max
BUF_SIZE 0 pdev->sock 0-28311120
MEM_ZERO 0 pdev->sock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 pdev->num_sockets