Open Menu /

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_vcpu_ioctl_x86_set_sregs2()

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 4096-ptr_max
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 sregs2 1-ptr_max
BUF_SIZE 0 vcpu s32min-(-2),1-s32max
BUF_SIZE 0 vcpu s32min-(-2),1-s32max
BUF_SIZE 1 sregs2 320
CAPPED_DATA 0 vcpu 1
DATA_SOURCE 1 sregs2 r memdup_user
USER_DATA 1 sregs2->apic_base 0-u64max
USER_DATA 1 sregs2->cr0 0-u64max
USER_DATA 1 sregs2->cr2 0-u64max
USER_DATA 1 sregs2->cr3 0-u64max
USER_DATA 1 sregs2->cr4 0-u64max
USER_DATA 1 sregs2->cr8 0-u64max
USER_DATA 1 sregs2->cs.avl 0-255
USER_DATA 1 sregs2->cs.base 0-u64max
USER_DATA 1 sregs2->cs.db 0-255
USER_DATA 1 sregs2->cs.dpl 0-255
USER_DATA 1 sregs2->cs.g 0-255
USER_DATA 1 sregs2->cs.l 0-255
USER_DATA 1 sregs2->cs.limit 0-u32max
USER_DATA 1 sregs2->cs.padding 0-255
USER_DATA 1 sregs2->cs.present 0-255
USER_DATA 1 sregs2->cs.s 0-255
USER_DATA 1 sregs2->cs.selector 0-u16max
USER_DATA 1 sregs2->cs.type 0-255
USER_DATA 1 sregs2->cs.unusable 0-255
USER_DATA 1 sregs2->ds.avl 0-255
USER_DATA 1 sregs2->ds.base 0-u64max
USER_DATA 1 sregs2->ds.db 0-255
USER_DATA 1 sregs2->ds.dpl 0-255
USER_DATA 1 sregs2->ds.g 0-255
USER_DATA 1 sregs2->ds.l 0-255
USER_DATA 1 sregs2->ds.limit 0-u32max
USER_DATA 1 sregs2->ds.padding 0-255
USER_DATA 1 sregs2->ds.present 0-255
USER_DATA 1 sregs2->ds.s 0-255
USER_DATA 1 sregs2->ds.selector 0-u16max
USER_DATA 1 sregs2->ds.type 0-255
USER_DATA 1 sregs2->ds.unusable 0-255
USER_DATA 1 sregs2->efer 0-u64max
USER_DATA 1 sregs2->es.avl 0-255
USER_DATA 1 sregs2->es.base 0-u64max
USER_DATA 1 sregs2->es.db 0-255
USER_DATA 1 sregs2->es.dpl 0-255
USER_DATA 1 sregs2->es.g 0-255
USER_DATA 1 sregs2->es.l 0-255
USER_DATA 1 sregs2->es.limit 0-u32max
USER_DATA 1 sregs2->es.padding 0-255
USER_DATA 1 sregs2->es.present 0-255
USER_DATA 1 sregs2->es.s 0-255
USER_DATA 1 sregs2->es.selector 0-u16max
USER_DATA 1 sregs2->es.type 0-255
USER_DATA 1 sregs2->es.unusable 0-255
USER_DATA 1 sregs2->flags 0-u64max
USER_DATA 1 sregs2->fs.avl 0-255
USER_DATA 1 sregs2->fs.base 0-u64max
USER_DATA 1 sregs2->fs.db 0-255
USER_DATA 1 sregs2->fs.dpl 0-255
USER_DATA 1 sregs2->fs.g 0-255
USER_DATA 1 sregs2->fs.l 0-255
USER_DATA 1 sregs2->fs.limit 0-u32max
USER_DATA 1 sregs2->fs.padding 0-255
USER_DATA 1 sregs2->fs.present 0-255
USER_DATA 1 sregs2->fs.s 0-255
USER_DATA 1 sregs2->fs.selector 0-u16max
USER_DATA 1 sregs2->fs.type 0-255
USER_DATA 1 sregs2->fs.unusable 0-255
USER_DATA 1 sregs2->gdt.base 0-u64max
USER_DATA 1 sregs2->gdt.limit 0-u16max
USER_DATA 1 sregs2->gs.avl 0-255
USER_DATA 1 sregs2->gs.base 0-u64max
USER_DATA 1 sregs2->gs.db 0-255
USER_DATA 1 sregs2->gs.dpl 0-255
USER_DATA 1 sregs2->gs.g 0-255
USER_DATA 1 sregs2->gs.l 0-255
USER_DATA 1 sregs2->gs.limit 0-u32max
USER_DATA 1 sregs2->gs.padding 0-255
USER_DATA 1 sregs2->gs.present 0-255
USER_DATA 1 sregs2->gs.s 0-255
USER_DATA 1 sregs2->gs.selector 0-u16max
USER_DATA 1 sregs2->gs.type 0-255
USER_DATA 1 sregs2->gs.unusable 0-255
USER_DATA 1 sregs2->idt.base 0-u64max
USER_DATA 1 sregs2->idt.limit 0-u16max
USER_DATA 1 sregs2->ldt.avl 0-255
USER_DATA 1 sregs2->ldt.base 0-u64max
USER_DATA 1 sregs2->ldt.db 0-255
USER_DATA 1 sregs2->ldt.dpl 0-255
USER_DATA 1 sregs2->ldt.g 0-255
USER_DATA 1 sregs2->ldt.l 0-255
USER_DATA 1 sregs2->ldt.limit 0-u32max
USER_DATA 1 sregs2->ldt.padding 0-255
USER_DATA 1 sregs2->ldt.present 0-255
USER_DATA 1 sregs2->ldt.s 0-255
USER_DATA 1 sregs2->ldt.selector 0-u16max
USER_DATA 1 sregs2->ldt.type 0-255
USER_DATA 1 sregs2->ldt.unusable 0-255
USER_DATA 1 sregs2->ss.avl 0-255
USER_DATA 1 sregs2->ss.base 0-u64max
USER_DATA 1 sregs2->ss.db 0-255
USER_DATA 1 sregs2->ss.dpl 0-255
USER_DATA 1 sregs2->ss.g 0-255
USER_DATA 1 sregs2->ss.l 0-255
USER_DATA 1 sregs2->ss.limit 0-u32max
USER_DATA 1 sregs2->ss.padding 0-255
USER_DATA 1 sregs2->ss.present 0-255
USER_DATA 1 sregs2->ss.s 0-255
USER_DATA 1 sregs2->ss.selector 0-u16max
USER_DATA 1 sregs2->ss.type 0-255
USER_DATA 1 sregs2->ss.unusable 0-255
USER_DATA 1 sregs2->tr.avl 0-255
USER_DATA 1 sregs2->tr.base 0-u64max
USER_DATA 1 sregs2->tr.db 0-255
USER_DATA 1 sregs2->tr.dpl 0-255
USER_DATA 1 sregs2->tr.g 0-255
USER_DATA 1 sregs2->tr.l 0-255
USER_DATA 1 sregs2->tr.limit 0-u32max
USER_DATA 1 sregs2->tr.padding 0-255
USER_DATA 1 sregs2->tr.present 0-255
USER_DATA 1 sregs2->tr.s 0-255
USER_DATA 1 sregs2->tr.selector 0-u16max
USER_DATA 1 sregs2->tr.type 0-255
USER_DATA 1 sregs2->tr.unusable 0-255
USER_DATA 1 *sregs2 s64min-s64max
USER_PTR 1 sregs2
USER_PTR 1 sregs2->pdptrs
LOCK2 &vcpu->mutex
TYPE_LOCK (struct kvm_vcpu)->mutex