Open Menu /

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/acpi/acpi_processor.c acpi_processor_ids_walk() -> acpi_get_type()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 1 ret_type 2354652032776765440
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpi_processor.c processor_physically_present() -> acpi_get_type()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 1 ret_type 7267273228267929600
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING

drivers/xen/xen-acpi-processor.c read_acpi_id() -> acpi_get_type()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
PARAM_VALUE 1 ret_type 2399065115972669440
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING

drivers/platform/x86/lenovo/thinkpad_acpi.c thinkpad_acpi_module_init() -> acpi_get_type()

Type Parameter Key Value
PARAM_VALUE 0 handle 1-u64max
PARAM_VALUE 1 ret_type 8695595615090937856
NOCHECK_CALL

drivers/platform/x86/lenovo/thinkpad_acpi.c thinkpad_acpi_module_init() -> acpi_get_type()

Type Parameter Key Value
PARAM_VALUE 0 handle 1-u64max
PARAM_VALUE 1 ret_type 8695595615090937856
NOCHECK_CALL

drivers/acpi/acpica/hwpci.c acpi_hw_get_pci_device_info() -> acpi_get_type()

Type Parameter Key Value
PARAM_VALUE 1 ret_type 7557031517756067840
DATA_SOURCE 0 handle $1
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/device_sysfs.c eject_store() -> acpi_get_type()

Type Parameter Key Value
PARAM_VALUE 1 ret_type 6101131453970403328
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/acpi/scan.c acpi_bus_check_add() -> acpi_get_type()

Type Parameter Key Value
PARAM_VALUE 1 ret_type 3236911974674358272
DATA_SOURCE 0 handle $0
RX_PATH
TASK_NOT_RUNNING