Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/pci_root.c acpi_pci_osc_control_set() -> decode_cxl_osc_control()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->bridge_type 2
PARAM_VALUE 0 root->device 4096-ptr_max
PARAM_VALUE 0 root->device->handle 0,4096-ptr_max,(-1)
PARAM_VALUE 0 root->device->handle->common.descriptor_type 15
PARAM_VALUE 0 root->device->handle->descriptor_type 0-255
PARAM_VALUE 0 root->device->handle->flags 0-u16max
PARAM_VALUE 0 root->device->handle->name.integer 0-4294967295
PARAM_VALUE 0 root->device->handle->owner_id 0-u16max
PARAM_VALUE 0 root->device->handle->type 0-255
PARAM_VALUE 1 msg 7831298972150505472
PARAM_VALUE 2 word 1-u32max
BUF_SIZE 0 root 24,32,88,104,108-1096,1616,2592
BUF_SIZE 0 root 24,32,88,104,108-1096,1616,2592
BUF_SIZE 1 msg 30
CAPPED_DATA 2 word 1
DATA_SOURCE 0 root r acpi_pci_find_root
STR_LEN 0 root 29
TERMINATED 1 msg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &acpi_scan_lock

drivers/acpi/pci_root.c negotiate_os_control() -> decode_cxl_osc_control()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->device 4096-ptr_max
PARAM_VALUE 0 root->device->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 root->device->handler 4096-ptr_max
PARAM_VALUE 0 root->secondary.flags 4096
PARAM_VALUE 1 msg 4566599506368966656
PARAM_VALUE 2 word 1-u32max
BUF_SIZE 0 root 112
BUF_SIZE 1 msg 16
DATA_SOURCE 0 root $0
STR_LEN 0 root 15
TERMINATED 1 msg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &acpi_scan_lock

drivers/acpi/pci_root.c negotiate_os_control() -> decode_cxl_osc_control()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->device 4096-ptr_max
PARAM_VALUE 0 root->device->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 root->device->handler 4096-ptr_max
PARAM_VALUE 0 root->secondary.flags 4096
PARAM_VALUE 1 msg 6859509472058515456
PARAM_VALUE 2 word 0-1
BUF_SIZE 0 root 112
BUF_SIZE 1 msg 13
DATA_SOURCE 0 root $0
FUZZY_MAX 2 word 0
STR_LEN 0 root 12
TERMINATED 1 msg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &acpi_scan_lock

drivers/acpi/pci_root.c negotiate_os_control() -> decode_cxl_osc_control()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->device 4096-ptr_max
PARAM_VALUE 0 root->device->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 root->device->handler 4096-ptr_max
PARAM_VALUE 0 root->secondary.flags 4096
PARAM_VALUE 1 msg 4773315596298231808
PARAM_VALUE 2 word 1-u32max
BUF_SIZE 0 root 112
BUF_SIZE 1 msg 26
DATA_SOURCE 0 root $0
STR_LEN 0 root 25
TERMINATED 1 msg 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &acpi_scan_lock