Defined in 2 files as a function:

Referenced in 12 files:

Smatch caller information:

arch/x86/xen/time.c xen_pvclock_gtod_notify() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 8551896880052375552

arch/x86/xen/efi.c xen_efi_probe() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 3935408553288617984
PARAM_VALUE 0 op->interface_version 0
HALF_LOCKED2 irq

arch/x86/xen/efi.c xen_efi_probe() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 3935408553288617984
PARAM_VALUE 0 op->interface_version 50331649
HALF_LOCKED2 irq

arch/x86/xen/efi.c xen_efi_probe() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 3935408553288617984
PARAM_VALUE 0 op->interface_version 50331649
HALF_LOCKED2 irq

arch/x86/xen/efi.c xen_efi_probe() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 3935408553288617984
PARAM_VALUE 0 op->interface_version 50331649
HALF_LOCKED2 irq

drivers/xen/xen-acpi-pad.c xen_acpi_pad_idle_cpus() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 3115378357036441600
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &xen_cpu_lock
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 &pool->lock

drivers/xen/xen-acpi-pad.c xen_acpi_pad_idle_cpus_num() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 1856302449864998912
LOCK2 &pool->lock
LOCK2 global &xen_cpu_lock

drivers/xen/xen-acpi-processor.c get_max_acpi_id() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 3100348312808624128
PARAM_VALUE 0 op->interface_version 50331649

drivers/xen/xen-acpi-processor.c get_max_acpi_id() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 3100348312808624128
PARAM_VALUE 0 op->interface_version 50331649

drivers/xen/xen-acpi-processor.c push_cxx_to_hypervisor() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 6749028293602529280
PARAM_VALUE 0 op->interface_version 50331649
NO_OVERFLOW_SIMPLE 0 op->u.set_pminfo.id
LOCK2 global &acpi_ids_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 op 266757082902663168
PARAM_VALUE 0 op->interface_version 50331649
NO_OVERFLOW_SIMPLE 0 op->u.set_pminfo.id
LOCK2 global &acpi_ids_mutex

drivers/xen/acpi.c xen_acpi_notify_hypervisor_state() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 7830007261884919808
PARAM_VALUE 0 op->interface_version 50331649
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 op->u.enter_acpi_sleep.sleep_state 0-5
HALF_LOCKED2 global &acpi_scan_lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 irq

drivers/xen/xenfs/xensyms.c xensyms_next_sym() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

drivers/xen/xenfs/xensyms.c xensyms_next_sym() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->interface_version 50331649
RX_PATH
TASK_NOT_RUNNING
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

drivers/xen/pcpu.c sync_pcpu() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 5029798459729772544
PARAM_VALUE 0 op->interface_version 50331649
LOCK2 global &xen_pcpu_lock

drivers/xen/pcpu.c xen_pcpu_down() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 1886477829073047552
PARAM_VALUE 0 op->interface_version 50331649
CAPABLE 0 21
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/xen/pcpu.c xen_pcpu_up() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 4945241459984371712
PARAM_VALUE 0 op->interface_version 50331649
CAPABLE 0 21
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/xen/pcpu.c xen_sanitize_proc_cap_bits() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 2019688682780573696
PARAM_VALUE 0 op->interface_version 0
RX_PATH
TASK_NOT_RUNNING

drivers/xen/efi.c efi_mem_desc_lookup() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 2021316214536151040
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq

drivers/xen/efi.c xen_efi_get_next_high_mono_count() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 864107960742412288
PARAM_VALUE 0 op->interface_version 0

drivers/xen/efi.c xen_efi_get_next_variable() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 559835493947387904
PARAM_VALUE 0 op->interface_version 0
RX_PATH
TASK_NOT_RUNNING

drivers/xen/efi.c xen_efi_get_time() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 5109460471830376448
PARAM_VALUE 0 op->interface_version 0

drivers/xen/efi.c xen_efi_get_variable() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 2469485029386211328
PARAM_VALUE 0 op->interface_version 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock

drivers/xen/efi.c xen_efi_get_wakeup_time() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 1595514858126299136
PARAM_VALUE 0 op->interface_version 0

drivers/xen/efi.c xen_efi_query_capsule_caps() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 193668829314830336
PARAM_VALUE 0 op->interface_version 0

drivers/xen/efi.c xen_efi_query_variable_info() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 3959032295619891200
PARAM_VALUE 0 op->interface_version 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &efivars_lock

drivers/xen/efi.c xen_efi_set_time() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 7934680361121878016
PARAM_VALUE 0 op->interface_version 0

drivers/xen/efi.c xen_efi_set_variable() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 64283091366494208
PARAM_VALUE 0 op->interface_version 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &efivars_lock

drivers/xen/efi.c xen_efi_set_wakeup_time() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 5440227024625147904
PARAM_VALUE 0 op->interface_version 0

drivers/xen/efi.c xen_efi_update_capsule() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 1399608320274960384
PARAM_VALUE 0 op->interface_version 0
LOCK2 global &capsule_mutex

arch/x86/xen/enlighten_pv.c xen_boot_params_init_edd() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 324835421357821952
LOCK2 irq

arch/x86/xen/enlighten_pv.c xen_boot_params_init_edd() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 324835421357821952
PARAM_VALUE 0 op->interface_version 50331649
LOCK2 irq

arch/x86/xen/enlighten_pv.c xen_check_mwait() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 4893620494750007296
PARAM_VALUE 0 op->interface_version 0

arch/x86/xen/enlighten_pv.c xen_set_mtrr_data() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 4851395486932996096
PARAM_VALUE 0 op->interface_version 50331649
LOCK2 irq

arch/x86/xen/enlighten_pv.c xen_start_kernel() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 8526105146788360192
PARAM_VALUE 0 op->interface_version 50331649
LOCK2 irq

arch/x86/xen/enlighten_pvh.c xen_pvh_init() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 6562521961280258048
PARAM_VALUE 0 op->interface_version 0

arch/x86/xen/apic.c xen_apic_read() -> HYPERVISOR_platform_op()

Type Parameter Key Value
PARAM_VALUE 0 op 6014276639306371072
PARAM_VALUE 0 op->interface_version 50331649