Defined in 1 files as a prototype:
Defined in 3 files as a member:
- arch/mips/include/asm/kvm_host.h, line 755 (as a member)
- arch/powerpc/include/asm/kvm_ppc.h, line 269 (as a member)
- arch/x86/include/asm/kvm_host.h, line 1530 (as a member)
Defined in 1 files as a function:
Referenced in 22 files:
- arch/arm64/kvm/arm.c, line 1283
- arch/loongarch/kvm/vcpu.c
- arch/mips/kvm/mips.c
- arch/mips/kvm/mmu.c, line 696
- arch/mips/kvm/vz.c, line 3301
- arch/powerpc/kvm/book3s.c
- arch/powerpc/kvm/book3s_hv.c, line 6602
- arch/powerpc/kvm/book3s_pr.c, line 2047
- arch/powerpc/kvm/booke.c
- arch/powerpc/kvm/e500.c, line 489
- arch/powerpc/kvm/e500mc.c, line 380
- arch/powerpc/kvm/powerpc.c
- arch/riscv/kvm/vcpu.c, line 921
- arch/s390/kvm/kvm-s390.c
- arch/x86/include/asm/kvm-x86-ops.h, line 31
- arch/x86/kvm/regs.c
- arch/x86/kvm/svm/svm.c, line 5350
- arch/x86/kvm/vmx/main.c
- arch/x86/kvm/vmx/nested.c, line 388
- arch/x86/kvm/vmx/tdx.c, line 3299
- arch/x86/kvm/x86.c
- virt/kvm/kvm_main.c
Smatch caller information:
arch/x86/kvm/regs.c kvm_arch_vcpu_ioctl_get_regs() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->online_vcpus.counter | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_dead | 0 |
| PARAM_VALUE | 0 | vcpu->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->vcpu_idx | s32min-2147483646 |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/regs.c kvm_arch_vcpu_ioctl_get_sregs() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->online_vcpus.counter | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_dead | 0 |
| PARAM_VALUE | 0 | vcpu->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->vcpu_idx | s32min-2147483646 |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/regs.c kvm_arch_vcpu_ioctl_set_regs() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->online_vcpus.counter | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_dead | 0 |
| PARAM_VALUE | 0 | vcpu->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->vcpu_idx | s32min-2147483646 |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/regs.c kvm_arch_vcpu_ioctl_set_sregs() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->online_vcpus.counter | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_dead | 0 |
| PARAM_VALUE | 0 | vcpu->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->vcpu_idx | s32min-2147483646 |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/vmx/nested.c nested_vmx_free_vcpu() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 0-4,6-255 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/x86.c kvm_arch_vcpu_create() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.emulate_ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.emulate_ctxt->ops | 1333444639635091456 |
| PARAM_VALUE | 0 | vcpu->arch.emulate_ctxt->vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->is_guest | 1 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->is_valloc | 1 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->regs.fxsave.cwd | 895 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->regs.fxsave.mxcsr | 8064 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->regs.xsave.header.xcomp_bv | 9223372036854775808-9223372036855439103 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->user_xfeatures | 0-656127 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->xfd | 0,262144 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->xfeatures | 0-663295 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.uabi_size | 4096-u32max |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.xfeatures | 0-663295 |
| PARAM_VALUE | 0 | vcpu->arch.guest_mmu->pae_root | 0 |
| PARAM_VALUE | 0 | vcpu->arch.guest_mmu->prev_roots | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.guest_mmu.mirror_root_hpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.guest_mmu.pae_root | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->arch.guest_mmu.root.hpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.guest_mmu.root.pgd | 0 |
| PARAM_VALUE | 0 | vcpu->arch.guest_mmu.w | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.hv_root_tdp | u64max |
| PARAM_VALUE | 0 | vcpu->arch.last_vmentry_cpu | (-1) |
| PARAM_VALUE | 0 | vcpu->arch.mce_banks | 16,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.mcg_cap | 32 |
| PARAM_VALUE | 0 | vcpu->arch.mci_ctl2_banks | 16,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.mmu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.mmu_page_header_cache.gfp_zero | 256 |
| PARAM_VALUE | 0 | vcpu->arch.mmu_pte_list_desc_cache.gfp_zero | 256 |
| PARAM_VALUE | 0 | vcpu->arch.mmu_shadow_page_cache.gfp_zero | 256 |
| PARAM_VALUE | 0 | vcpu->arch.mmu_shadow_page_cache.init_value | 9223372036854775808 |
| PARAM_VALUE | 0 | vcpu->arch.mp_state | 0-1 |
| PARAM_VALUE | 0 | vcpu->arch.pending_external_vector | (-1) |
| PARAM_VALUE | 0 | vcpu->arch.pio_data | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.__reprogram_pmi.counter | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.available_event_types | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.ds_area | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.event_count | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.fixed_ctr_ctrl | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.fixed_ctr_ctrl_hw | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.fixed_ctr_ctrl_rsvd | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.global_ctrl | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.global_ctrl_rsvd | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.global_status | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.global_status_rsvd | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.host_cross_mapped_mask | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.need_cleanup | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.nr_arch_fixed_counters | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.nr_arch_gp_counters | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.pebs_data_cfg | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.pebs_data_cfg_rsvd | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.pebs_enable | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.pebs_enable_rsvd | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.raw_event_mask | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.reserved_bits | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.version | 0 |
| PARAM_VALUE | 0 | vcpu->arch.preempted_in_kernel | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.active | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.gpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.kvm->max_vcpus | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.lock.magic | 3736018669 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.pfn | 9218868437227405312 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.refresh_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.refresh_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.uhva | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.valid | 0 |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu->pae_root | 0 |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu->prev_roots | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.mirror_root_hpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.pae_root | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.root.hpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.root.pgd | 0 |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.w | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.wbinvd_dirty_mask | 1-u64max |
| PARAM_VALUE | 0 | vcpu->arch.xen.poll_evtchn | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.poll_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.poll_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | vcpu->arch.xen.poll_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.active | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.gpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.kvm->max_vcpus | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.lock.magic | 3736018669 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.pfn | 9218868437227405312 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.refresh_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.refresh_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.uhva | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.valid | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.active | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.gpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.kvm->max_vcpus | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.lock.magic | 3736018669 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.pfn | 9218868437227405312 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.refresh_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.refresh_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.uhva | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.valid | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer._softexpires | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.base | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.function | 1-u64max |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.is_hard | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.is_lazy | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.is_queued | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.is_rel | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.is_soft | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.node.expires | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.node.node.next | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.node.node.prev | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_id | u32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.active | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.gpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->max_vcpus | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.lock.magic | 3736018669 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.pfn | 9218868437227405312 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.refresh_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.refresh_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.uhva | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.valid | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.gpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->max_vcpus | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.lock.magic | 3736018669 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.pfn | 9218868437227405312 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.refresh_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.refresh_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.uhva | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->async_pf.done.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.done.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.done.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.done.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.done.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.queue.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.queue.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->cpu | (-1) |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.created_mediated_pmu | 1 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.enable_pmu | 0 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.max_vcpu_ids | 1-u32max |
| PARAM_VALUE | 0 | vcpu->kvm->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->max_vcpus | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_dead | 0 |
| PARAM_VALUE | 0 | vcpu->last_used_slot | 0 |
| PARAM_VALUE | 0 | vcpu->pid | 0 |
| PARAM_VALUE | 0 | vcpu->pid_lock.magic | 3736018669 |
| PARAM_VALUE | 0 | vcpu->pid_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->pid_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->preempt_notifier.link.next | 0 |
| PARAM_VALUE | 0 | vcpu->preempt_notifier.link.pprev | 0 |
| PARAM_VALUE | 0 | vcpu->preempt_notifier.ops | 3720806332002312192 |
| PARAM_VALUE | 0 | vcpu->preempt_notifier.ops->sched_in | 0,9110675458964602880 |
| PARAM_VALUE | 0 | vcpu->preempt_notifier.ops->sched_out | 0,435091332528357376 |
| PARAM_VALUE | 0 | vcpu->preempted | 0 |
| PARAM_VALUE | 0 | vcpu->ready | 0 |
| PARAM_VALUE | 0 | vcpu->run | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->spin_loop.dy_eligible | 0 |
| PARAM_VALUE | 0 | vcpu->spin_loop.in_spin_loop | 0 |
| PARAM_VALUE | 0 | vcpu->vcpu_id | 0-16383 |
| PARAM_VALUE | 0 | vcpu->vcpu_idx | (-1) |
| PARAM_VALUE | 0 | vcpu->wait.task | 0 |
| PARAM_VALUE | 0 | *vcpu->arch.apf.gfns | (-1) |
| PARAM_VALUE | 0 | *vcpu->stats_id | 0-255 |
| BUF_SIZE | 0 | vcpu->arch.mce_banks | 8 |
| BUF_SIZE | 0 | vcpu->arch.mci_ctl2_banks | 8 |
| CAPPED_DATA | 0 | vcpu->vcpu_id | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOSPEC | 0 | vcpu->vcpu_id | |
| MEM_ZERO | 0 | vcpu->arch.regs_avail | |
| MEM_ZERO | 0 | vcpu->arch.regs_dirty | |
| MEM_ZERO | 0 | &vcpu->arch.pmu | |
| MEM_ZERO | 0 | &vcpu->arch.xen.timer | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.vm_type | 0-7 |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.vm_type | 0-6 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.vm_type | 0-6 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.vm_type | 0-6 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.vm_type | 0-6 |
| USER_DATA | 0 | vcpu->vcpu_id | 1-16383[c] |
arch/x86/kvm/x86.c kvm_arch_vcpu_ioctl() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| NOCHECK_CALL | |||
| LOCK2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/x86.c kvm_arch_vcpu_ioctl_get_fpu() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->online_vcpus.counter | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_dead | 0 |
| PARAM_VALUE | 0 | vcpu->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->vcpu_idx | s32min-2147483646 |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/x86.c kvm_arch_vcpu_ioctl_get_mpstate() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->online_vcpus.counter | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_dead | 0 |
| PARAM_VALUE | 0 | vcpu->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->vcpu_idx | s32min-2147483646 |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/x86.c kvm_arch_vcpu_ioctl_run() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->online_vcpus.counter | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_dead | 0 |
| PARAM_VALUE | 0 | vcpu->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->vcpu_idx | s32min-2147483646 |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/x86.c kvm_arch_vcpu_ioctl_set_fpu() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->online_vcpus.counter | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_dead | 0 |
| PARAM_VALUE | 0 | vcpu->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->vcpu_idx | s32min-2147483646 |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/x86.c kvm_arch_vcpu_ioctl_set_guest_debug() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.guest_state_protected | 0 |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->online_vcpus.counter | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_dead | 0 |
| PARAM_VALUE | 0 | vcpu->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->vcpu_idx | s32min-2147483646 |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/x86.c kvm_arch_vcpu_ioctl_set_mpstate() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->online_vcpus.counter | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_dead | 0 |
| PARAM_VALUE | 0 | vcpu->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->vcpu_idx | s32min-2147483646 |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/x86.c kvm_arch_vcpu_ioctl_translate() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->online_vcpus.counter | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_dead | 0 |
| PARAM_VALUE | 0 | vcpu->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->vcpu_idx | s32min-2147483646 |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/x86.c kvm_arch_vcpu_postcreate() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apf.halted | 0 |
| PARAM_VALUE | 0 | vcpu->arch.apf.msr_en_val | 0 |
| PARAM_VALUE | 0 | vcpu->arch.apf.msr_int_val | 0 |
| PARAM_VALUE | 0 | vcpu->arch.apic | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic->highest_isr_cache | (-1) |
| PARAM_VALUE | 0 | vcpu->arch.apic->irr_pending | 1 |
| PARAM_VALUE | 0 | vcpu->arch.apic->isr_count | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.apic->lapic_timer.hv_timer_in_use | 0 |
| PARAM_VALUE | 0 | vcpu->arch.apic->lapic_timer.pending.counter | 0 |
| PARAM_VALUE | 0 | vcpu->arch.apic->lapic_timer.timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | vcpu->arch.apic->lapic_timer.timer.node.expires | 0-s64max |
| PARAM_VALUE | 0 | vcpu->arch.apic->lapic_timer.timer_advance_ns | 0-5000 |
| PARAM_VALUE | 0 | vcpu->arch.apic->lapic_timer.timer_mode | 0,131072-393216 |
| PARAM_VALUE | 0 | vcpu->arch.apic->lapic_timer.timer_mode_mask | 131072,393216 |
| PARAM_VALUE | 0 | vcpu->arch.apic->lapic_timer.tscdeadline | 0 |
| PARAM_VALUE | 0 | vcpu->arch.apic->sipi_vector | 0-u16max |
| PARAM_VALUE | 0 | vcpu->arch.apic->sw_enabled | 0 |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->arch.pv.pv_unhalted | 1 |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->kvm->arch.apic_map_dirty.counter | 2 |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->arch.apic->vcpu->ready | 1 |
| PARAM_VALUE | 0 | vcpu->arch.apic_arb_prio | 0 |
| PARAM_VALUE | 0 | vcpu->arch.apic_attention | 0 |
| PARAM_VALUE | 0 | vcpu->arch.apic_base | 4276094976,4276095232 |
| PARAM_VALUE | 0 | vcpu->arch.arch_capabilities | 64-9223372037544403832 |
| PARAM_VALUE | 0 | vcpu->arch.cr0_guest_owned_bits | 65536-u64max |
| PARAM_VALUE | 0 | vcpu->arch.cr2 | 0 |
| PARAM_VALUE | 0 | vcpu->arch.cr3 | 0 |
| PARAM_VALUE | 0 | vcpu->arch.dr6 | 4294905840 |
| PARAM_VALUE | 0 | vcpu->arch.dr7 | 1024 |
| PARAM_VALUE | 0 | vcpu->arch.emulate_ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.emulate_ctxt->ops | 1333444639635091456 |
| PARAM_VALUE | 0 | vcpu->arch.emulate_ctxt->vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.exception.injected | 0 |
| PARAM_VALUE | 0 | vcpu->arch.exception.pending | 0 |
| PARAM_VALUE | 0 | vcpu->arch.exception_vmexit.pending | 0 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->is_guest | 1 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->is_valloc | 1 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->regs.fxsave.cwd | 895 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->regs.fxsave.mxcsr | 8064 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->regs.xsave.header.xcomp_bv | 9223372036854775808-9223372036855435007 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->user_xfeatures | 0-656127 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->xfd | 0,262144 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.fpstate->xfeatures | 0-663295 |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.uabi_size | 4096-u32max |
| PARAM_VALUE | 0 | vcpu->arch.guest_fpu.xfeatures | 0-663295 |
| PARAM_VALUE | 0 | vcpu->arch.guest_mmu->prev_roots | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.guest_mmu.mirror_root_hpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.guest_mmu.pae_root | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->arch.guest_mmu.w | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.gva_walk.fmt->permissions | 0-u16max |
| PARAM_VALUE | 0 | vcpu->arch.gva_walk.get_guest_pgd | 7025673116383887360 |
| PARAM_VALUE | 0 | vcpu->arch.gva_walk.get_pdptr | 1352091245017460736 |
| PARAM_VALUE | 0 | vcpu->arch.gva_walk.gva_to_gpa | 3025047059327504384,4917861297175281664,8823471726512275456 |
| PARAM_VALUE | 0 | vcpu->arch.gva_walk.inject_page_fault | 1875070358975434752 |
| PARAM_VALUE | 0 | vcpu->arch.hflags | 0 |
| PARAM_VALUE | 0 | vcpu->arch.hv_root_tdp | u64max |
| PARAM_VALUE | 0 | vcpu->arch.ia32_misc_enable_msr | 6144 |
| PARAM_VALUE | 0 | vcpu->arch.interrupt.injected | 0 |
| PARAM_VALUE | 0 | vcpu->arch.l1_tsc_scaling_ratio | 0-18446744073709551614 |
| PARAM_VALUE | 0 | vcpu->arch.last_vmentry_cpu | (-1) |
| PARAM_VALUE | 0 | vcpu->arch.mce_banks | 16,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.mcg_cap | 32 |
| PARAM_VALUE | 0 | vcpu->arch.mci_ctl2_banks | 16,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.mmio_gva | 0 |
| PARAM_VALUE | 0 | vcpu->arch.mmu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.mmu_page_header_cache.gfp_zero | 256 |
| PARAM_VALUE | 0 | vcpu->arch.mmu_pte_list_desc_cache.gfp_zero | 256 |
| PARAM_VALUE | 0 | vcpu->arch.mmu_shadow_page_cache.gfp_zero | 256 |
| PARAM_VALUE | 0 | vcpu->arch.mmu_shadow_page_cache.init_value | 9223372036854775808 |
| PARAM_VALUE | 0 | vcpu->arch.mp_state | 0-1 |
| PARAM_VALUE | 0 | vcpu->arch.msr_misc_features_enables | 0 |
| PARAM_VALUE | 0 | vcpu->arch.msr_platform_info | 2147483648 |
| PARAM_VALUE | 0 | vcpu->arch.nmi_injected | 0 |
| PARAM_VALUE | 0 | vcpu->arch.nmi_pending | 0 |
| PARAM_VALUE | 0 | vcpu->arch.nmi_queued.counter | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pat | 1974748653749254 |
| PARAM_VALUE | 0 | vcpu->arch.pending_external_vector | (-1) |
| PARAM_VALUE | 0 | vcpu->arch.perf_capabilities | 0,8192-143359 |
| PARAM_VALUE | 0 | vcpu->arch.pio_data | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.__reprogram_pmi.counter | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.available_event_types | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.ds_area | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.event_count | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.fixed_ctr_ctrl | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.fixed_ctr_ctrl_hw | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.fixed_ctr_ctrl_rsvd | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.global_ctrl | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.global_ctrl_rsvd | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.global_status | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.global_status_rsvd | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.host_cross_mapped_mask | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.nr_arch_fixed_counters | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.nr_arch_gp_counters | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.pebs_data_cfg | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.pebs_data_cfg_rsvd | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.pebs_enable | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.pebs_enable_rsvd | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.raw_event_mask | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.reserved_bits | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pmu.version | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pv.pv_unhalted | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pv_eoi.msr_val | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.active | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.gpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.khva | 0 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.kvm->gpc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.kvm->max_vcpus | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.pfn | 9218868437227405312 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.refresh_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.refresh_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.uhva | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->arch.pv_time.valid | 0 |
| PARAM_VALUE | 0 | vcpu->arch.rip | 65520 |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu->prev_roots | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.fmt->permissions | 0-u16max |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.fmt.bad_mt_xwr | 0,18398423101764228180 |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.mirror_root_hpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.pae_root | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.page_fault | 4654005377237938176,6604280681433620480,6624689191963803648,6795630133462265856 |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.sync_spte | 0,799230455575592960,7721480187534942208 |
| PARAM_VALUE | 0 | vcpu->arch.root_mmu.w | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.smbase | 196608 |
| PARAM_VALUE | 0 | vcpu->arch.smi_count | 0 |
| PARAM_VALUE | 0 | vcpu->arch.smi_pending | 0 |
| PARAM_VALUE | 0 | vcpu->arch.st.cache.hva->preempted | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.st.msr_val | 0 |
| PARAM_VALUE | 0 | vcpu->arch.time | 0 |
| PARAM_VALUE | 0 | vcpu->arch.tsc_always_catchup | 1 |
| PARAM_VALUE | 0 | vcpu->arch.tsc_offset_adjustment | 0 |
| PARAM_VALUE | 0 | vcpu->arch.virtual_tsc_khz | 1-u32max |
| PARAM_VALUE | 0 | vcpu->arch.wbinvd_dirty_mask | 1-u64max |
| PARAM_VALUE | 0 | vcpu->arch.xcr0 | 1 |
| PARAM_VALUE | 0 | vcpu->arch.xen.current_runstate | 0-3 |
| PARAM_VALUE | 0 | vcpu->arch.xen.poll_evtchn | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.poll_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.poll_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | vcpu->arch.xen.poll_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.kvm->gpc_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.kvm->gpc_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.kvm->max_vcpus | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.kvm->vm_bugged | 1 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.kvm->vm_dead | 1 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.refresh_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate2_cache.refresh_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.active | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.kvm->max_vcpus | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.memslot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.refresh_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.xen.runstate_cache.refresh_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer._softexpires | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.base | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.function | 1-u64max |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.is_hard | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.is_lazy | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.is_queued | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.is_rel | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.is_soft | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.node.expires | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.node.node.next | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer.node.node.prev | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_id | u32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.active | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.gpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->max_vcpus | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.lock.magic | 3736018669 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.pfn | 9218868437227405312 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.refresh_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.refresh_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.uhva | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.valid | 0 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.gpa | u64max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->max_vcpus | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.lock.magic | 3736018669 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.pfn | 9218868437227405312 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.refresh_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.refresh_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_time_info_cache.uhva | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->async_pf.done.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.done.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.done.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.done.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.done.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.queue.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.queue.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.queued | 0 |
| PARAM_VALUE | 0 | vcpu->cpu | 0 |
| PARAM_VALUE | 0 | vcpu->guest_debug | 131072-u64max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apic_map | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apic_map_dirty.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apic_map_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apic_map_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apic_map_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apic_map_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apic_map_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apic_map_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apic_map_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apicv_update_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apicv_update_lock.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apicv_update_lock.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apicv_update_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.apicv_update_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.created_mediated_pmu | 1 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.enable_pmu | 0 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.kvmclock_update_rs.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.max_vcpu_ids | 1-u32max |
| PARAM_VALUE | 0 | vcpu->kvm->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->max_vcpus | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->mmu_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->last_used_slot | 0 |
| PARAM_VALUE | 0 | vcpu->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->pid | 0 |
| PARAM_VALUE | 0 | vcpu->pid_lock.magic | 3736018669 |
| PARAM_VALUE | 0 | vcpu->pid_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->pid_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->preempt_notifier.link->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | vcpu->preempt_notifier.link.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->preempt_notifier.ops | 3720806332002312192 |
| PARAM_VALUE | 0 | vcpu->preempt_notifier.ops->sched_in | 0,9110675458964602880 |
| PARAM_VALUE | 0 | vcpu->preempt_notifier.ops->sched_out | 0,435091332528357376 |
| PARAM_VALUE | 0 | vcpu->preempted | 0 |
| PARAM_VALUE | 0 | vcpu->ready | 0 |
| PARAM_VALUE | 0 | vcpu->run | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | vcpu->spin_loop.dy_eligible | 0 |
| PARAM_VALUE | 0 | vcpu->spin_loop.in_spin_loop | 0 |
| PARAM_VALUE | 0 | vcpu->vcpu_id | 0-16383 |
| PARAM_VALUE | 0 | vcpu->wait.task | 0 |
| PARAM_VALUE | 0 | *vcpu->stats_id | 0-255 |
| CAPPED_DATA | 0 | vcpu | 1 |
| CAPPED_DATA | 0 | vcpu->arch.cpuid_nent | 1 |
| CAPPED_DATA | 0 | vcpu->kvm->arch.default_tsc_khz | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_id | 1 |
| CAPPED_DATA | 0 | &vcpu->mutex | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOSPEC | 0 | vcpu->dirty_ring.index | |
| NOSPEC | 0 | vcpu->vcpu_id | |
| MEM_ZERO | 0 | vcpu->arch.db | |
| MEM_ZERO | 0 | vcpu->arch.regs_avail | |
| MEM_ZERO | 0 | vcpu->arch.regs_dirty | |
| MEM_ZERO | 0 | &vcpu->arch.pmu | |
| MEM_ZERO | 0 | &vcpu->arch.xen.timer | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | vcpu->arch.l1_tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.pre_fault_allowed | 0-1 |
| USER_DATA | 0 | vcpu->arch.pv_time.kvm->arch.vm_type | 0-5 |
| USER_DATA | 0 | vcpu->arch.tsc_offset | 0-u64max |
| USER_DATA | 0 | vcpu->arch.virtual_tsc_khz | 1-u32max |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate2_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.runstate_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_info_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.has_private_mem | 0[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.noncoherent_dma_count.counter | 0 |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.pre_fault_allowed | 1[c] |
| USER_DATA | 0 | vcpu->arch.xen.vcpu_time_info_cache.kvm->arch.vm_type | 0-1 |
| USER_DATA | 0 | vcpu->dirty_ring.index | 1-16383[c] |
| USER_DATA | 0 | vcpu->vcpu_id | 1-16383[c] |
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/vmx/tdx.c tdx_vcpu_unlocked_ioctl() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.vm_type | 5 |
| PARAM_VALUE | 0 | vcpu->kvm->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->kvm->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->kvm->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->slots_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->kvm->slots_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->slots_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->kvm->slots_lock.osq.tail.counter | 0-s32max |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &kvm->lock | ||
| LOCK2 | &kvm->slots_lock | ||
| TYPE_LOCK | (struct kvm)->lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_vcpu_pre_fault_memory() -> vcpu_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->online_vcpus.counter | (-2147483647)-s32max |
| PARAM_VALUE | 0 | vcpu->kvm->vm_dead | 0 |
| PARAM_VALUE | 0 | vcpu->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | vcpu->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | vcpu->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | vcpu->vcpu_idx | s32min-2147483646 |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | vcpu | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | vcpu->kvm->mm | 1 |
| CAPPED_DATA | 0 | vcpu->vcpu_idx | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vcpu->mutex | |
| TYPE_LOCK | (struct kvm_vcpu)->mutex |