Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/xen-acpi-processor.c push_pxx_to_hypervisor() -> xen_copy_psd_data()

Type Parameter Key Value
PARAM_VALUE 0 _pr 4096-ptr_max
PARAM_VALUE 0 _pr->performance 4096-ptr_max
PARAM_VALUE 0 _pr->performance->states 1-u64max
PARAM_VALUE 1 dst 4096-ptr_max
PARAM_VALUE 1 dst->domain_info.coord_type 0
PARAM_VALUE 1 dst->domain_info.domain 0
PARAM_VALUE 1 dst->domain_info.num_entries 0
PARAM_VALUE 1 dst->domain_info.num_processors 0
PARAM_VALUE 1 dst->domain_info.revision 0
PARAM_VALUE 1 dst->flags 5,7
PARAM_VALUE 1 dst->shared_type 0
PARAM_VALUE 1 dst->states 0,16,4096-ptr_max
BUF_SIZE 0 _pr (-1)-0,992
BUF_SIZE 0 _pr (-1)-0,992
BUF_SIZE 1 dst 104
BUF_SIZE 1 dst->states (-1)-s32max
DATA_SOURCE 0 _pr $0
BIT_INFO 1 dst->flags 0x5,0x7
NO_OVERFLOW_SIMPLE 0 _pr->acpi_id
NO_OVERFLOW_SIMPLE 0 _pr->performance->state_count
NO_OVERFLOW_SIMPLE 0 _pr->power.count
NO_OVERFLOW_SIMPLE 1 dst->state_count
LOCK2 global &acpi_ids_mutex