Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/x86.c kvm_arch_vcpu_ioctl() -> kvm_xen_vcpu_get_attr()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.apic->lapic_timer.timer.is_queued 1
PARAM_VALUE 0 vcpu->arch.apic->lapic_timer.timer.node.expires 0-s64max
PARAM_VALUE 0 vcpu->arch.apic->lapic_timer.timer.node.node.node.__rb_parent_color 1
PARAM_VALUE 0 vcpu->arch.apic->lapic_timer.timer_mode 0,131072-393216
PARAM_VALUE 0 vcpu->arch.tsc_offset_adjustment 0
PARAM_VALUE 0 vcpu->cpu 0
PARAM_VALUE 0 vcpu->kvm->arch.kvmclock_update_rs.lock.dep_map->name 0-255
PARAM_VALUE 0 vcpu->kvm->arch.noncoherent_dma_count.counter 0-1
PARAM_VALUE 0 vcpu->preempt_notifier.link->pprev 4096-ptr_max
PARAM_VALUE 0 vcpu->preempt_notifier.link.pprev 4096-ptr_max
PARAM_VALUE 1 data 8557722519287271424
BUF_SIZE 0 vcpu s32min-(-2),1-s32max
BUF_SIZE 0 vcpu s32min-(-2),1-s32max
CAPPED_DATA 0 vcpu 1
USER_DATA 1 data->type 0-u16max
USER_DATA 1 data->u.gpa 0-u64max
USER_DATA 1 data->u.hva 0-u64max
USER_DATA 1 data->u.runstate.state 0-u64max
USER_DATA 1 data->u.runstate.state_entry_time 0-u64max
USER_DATA 1 data->u.runstate.time_blocked 0-u64max
USER_DATA 1 data->u.runstate.time_offline 0-u64max
USER_DATA 1 data->u.runstate.time_runnable 0-u64max
USER_DATA 1 data->u.runstate.time_running 0-u64max
USER_DATA 1 data->u.timer.expires_ns 0-u64max
USER_DATA 1 data->u.timer.port 0-u32max
USER_DATA 1 data->u.timer.priority 0-u32max
USER_DATA 1 data->u.vcpu_id 0-u32max
USER_DATA 1 data->u.vector 0-255
USER_PTR 1 data->pad
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm_vcpu)->mutex