get_segment_selector identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

arch/x86/lib/insn-eval.c, line 324

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/lib/insn-eval.c get_seg_limit() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->cs	1-u16max
PARAM_VALUE	1	seg_reg_idx	0,2-5
BUF_SIZE	0	regs	(-1),168
BUF_SIZE	0	regs	(-1),168
DATA_SOURCE	0	regs	$0
DATA_SOURCE	1	seg_reg_idx	$1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/lib/insn-eval.c insn_get_code_seg_params() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->cs	1-u16max
PARAM_VALUE	1	seg_reg_idx	2
CAPPED_DATA	0	regs->cs	1
DATA_SOURCE	0	regs	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/lib/insn-eval.c insn_get_seg_base() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	1	seg_reg_idx	0,2-5
BUF_SIZE	0	regs	(-1),168
BUF_SIZE	0	regs	(-1),168
DATA_SOURCE	0	regs	$0
DATA_SOURCE	1	seg_reg_idx	$1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/kvm/emulate.c __emulate_int_real() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->dst.type	7
PARAM_VALUE	0	regs->ops	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_cr	8265647234411626496
PARAM_VALUE	0	regs->ops->get_idt	8853942836760453120
PARAM_VALUE	0	regs->ops->get_msr	8129238678163517440
PARAM_VALUE	0	regs->ops->get_segment	7209599553600106496
PARAM_VALUE	0	regs->ops->intercept	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	5532471905094541312
PARAM_VALUE	0	regs->ops->set_segment	6488883502986878976
PARAM_VALUE	0	regs->ops->write_std	5847011921159122944
PARAM_VALUE	0	regs->src.data	0-u32max
PARAM_VALUE	0	regs->src.mm_val	0-u32max
PARAM_VALUE	0	regs->src.val	0-u32max
PARAM_VALUE	0	regs->src.val64	0-u32max
PARAM_VALUE	0	regs->src.valptr	0-u32max
PARAM_VALUE	0	regs->vcpu->arch.gva_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->kvm->arch.indirect_shadow_pages	0-4294967295
PARAM_VALUE	0	regs->vcpu->kvm->mmu_lock.owner_cpu	0-4294967295
PARAM_VALUE	0	regs->vcpu->kvm->mmu_lock.raw_lock.wlocked	0-255
PARAM_VALUE	0	regs->vcpu->kvm->vm_bugged	0-1
PARAM_VALUE	0	regs->vcpu->kvm->vm_dead	0-1
PARAM_VALUE	0	regs->vcpu->mmio_cur_fragment	0
PARAM_VALUE	0	regs->vcpu->mmio_is_write	0-1
PARAM_VALUE	0	regs->vcpu->mmio_needed	1
PARAM_VALUE	0	regs->vcpu->mmio_nr_fragments	0-15
PARAM_VALUE	0	regs->vcpu->run->exit_reason	6
PARAM_VALUE	0	regs->vcpu->run->mmio.is_write	0-1
PARAM_VALUE	0	regs->vcpu->run->mmio.len	0-8
PARAM_VALUE	0	*regs->vcpu->run->mmio.data	0-255
PARAM_VALUE	1	seg_reg_idx	1
CAPPED_DATA	0	regs->vcpu->arch.mmio_gva	1
DATA_SOURCE	0	regs	$0
BIT_INFO	0	regs->eflags	0x0,0xfffffffffffbfcff
USER_DATA	0	regs->src.val	0-u32max
NO_OVERFLOW_SIMPLE	0	regs->op_bytes
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c em_push_sreg() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->execute	1-u64max
PARAM_VALUE	0	regs->ops->get_cr	8265647234411626496
PARAM_VALUE	0	regs->ops->get_idt	8853942836760453120
PARAM_VALUE	0	regs->ops->get_msr	8129238678163517440
PARAM_VALUE	0	regs->ops->get_segment	7209599553600106496
PARAM_VALUE	0	regs->ops->intercept	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	5532471905094541312
PARAM_VALUE	0	regs->ops->set_segment	6488883502986878976
PARAM_VALUE	0	regs->ops->write_std	5847011921159122944
DATA_SOURCE	0	regs	$0
UNITS	1	seg_reg_idx	unit_byte
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c em_store_sreg() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->execute	1-u64max
PARAM_VALUE	0	regs->ops	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_cr	8265647234411626496
PARAM_VALUE	0	regs->ops->get_idt	8853942836760453120
PARAM_VALUE	0	regs->ops->get_msr	8129238678163517440
PARAM_VALUE	0	regs->ops->get_segment	7209599553600106496
PARAM_VALUE	0	regs->ops->intercept	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	5532471905094541312
PARAM_VALUE	0	regs->ops->set_segment	6488883502986878976
PARAM_VALUE	0	regs->ops->write_std	5847011921159122944
PARAM_VALUE	1	seg_reg_idx	0-7
DATA_SOURCE	0	regs	$0
DATA_SOURCE	1	seg_reg_idx	$1
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c emulator_do_task_switch() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->dst.type	7
PARAM_VALUE	0	regs->regs_dirty	0
PARAM_VALUE	0	regs->regs_valid	0
PARAM_VALUE	1	seg_reg_idx	6
DATA_SOURCE	0	regs	$0
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c save_state_to_tss16() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->dst.type	7
PARAM_VALUE	0	regs->ops	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_idt	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_segment	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	4096-ptr_max
PARAM_VALUE	0	regs->regs_dirty	0
PARAM_VALUE	0	regs->vcpu->arch.gva_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->kvm->vm_bugged	0-1
PARAM_VALUE	0	regs->vcpu->kvm->vm_dead	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->as_id	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->base_gfn	0-s64max
PARAM_VALUE	0	regs->vcpu->last_used_slot->gmem.pgoff	0-2251799813685247
PARAM_VALUE	0	regs->vcpu->last_used_slot->id	0-32766
PARAM_VALUE	0	regs->vcpu->last_used_slot->npages	0-4503599627370495
PARAM_VALUE	0	*regs->vcpu->arch.mmu->permissions	0-u16max
PARAM_VALUE	0	*regs->vcpu->arch.ngpa_walk->permissions	0-u16max
PARAM_VALUE	1	seg_reg_idx	0
DATA_SOURCE	0	regs	$0
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c save_state_to_tss16() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->dst.type	7
PARAM_VALUE	0	regs->ops	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_idt	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_segment	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	4096-ptr_max
PARAM_VALUE	0	regs->regs_dirty	0
PARAM_VALUE	0	regs->vcpu->arch.gva_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->kvm->vm_bugged	0-1
PARAM_VALUE	0	regs->vcpu->kvm->vm_dead	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->as_id	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->base_gfn	0-s64max
PARAM_VALUE	0	regs->vcpu->last_used_slot->gmem.pgoff	0-2251799813685247
PARAM_VALUE	0	regs->vcpu->last_used_slot->id	0-32766
PARAM_VALUE	0	regs->vcpu->last_used_slot->npages	0-4503599627370495
PARAM_VALUE	0	*regs->vcpu->arch.mmu->permissions	0-u16max
PARAM_VALUE	0	*regs->vcpu->arch.ngpa_walk->permissions	0-u16max
PARAM_VALUE	1	seg_reg_idx	1
DATA_SOURCE	0	regs	$0
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c save_state_to_tss16() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->dst.type	7
PARAM_VALUE	0	regs->ops	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_idt	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_segment	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	4096-ptr_max
PARAM_VALUE	0	regs->regs_dirty	0
PARAM_VALUE	0	regs->vcpu->arch.gva_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->kvm->vm_bugged	0-1
PARAM_VALUE	0	regs->vcpu->kvm->vm_dead	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->as_id	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->base_gfn	0-s64max
PARAM_VALUE	0	regs->vcpu->last_used_slot->gmem.pgoff	0-2251799813685247
PARAM_VALUE	0	regs->vcpu->last_used_slot->id	0-32766
PARAM_VALUE	0	regs->vcpu->last_used_slot->npages	0-4503599627370495
PARAM_VALUE	0	*regs->vcpu->arch.mmu->permissions	0-u16max
PARAM_VALUE	0	*regs->vcpu->arch.ngpa_walk->permissions	0-u16max
PARAM_VALUE	1	seg_reg_idx	2
DATA_SOURCE	0	regs	$0
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c save_state_to_tss16() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->dst.type	7
PARAM_VALUE	0	regs->ops	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_idt	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_segment	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	4096-ptr_max
PARAM_VALUE	0	regs->regs_dirty	0
PARAM_VALUE	0	regs->vcpu->arch.gva_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->kvm->vm_bugged	0-1
PARAM_VALUE	0	regs->vcpu->kvm->vm_dead	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->as_id	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->base_gfn	0-s64max
PARAM_VALUE	0	regs->vcpu->last_used_slot->gmem.pgoff	0-2251799813685247
PARAM_VALUE	0	regs->vcpu->last_used_slot->id	0-32766
PARAM_VALUE	0	regs->vcpu->last_used_slot->npages	0-4503599627370495
PARAM_VALUE	0	*regs->vcpu->arch.mmu->permissions	0-u16max
PARAM_VALUE	0	*regs->vcpu->arch.ngpa_walk->permissions	0-u16max
PARAM_VALUE	1	seg_reg_idx	3
DATA_SOURCE	0	regs	$0
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c save_state_to_tss16() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->dst.type	7
PARAM_VALUE	0	regs->ops	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_idt	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_segment	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	4096-ptr_max
PARAM_VALUE	0	regs->regs_dirty	0
PARAM_VALUE	0	regs->vcpu->arch.gva_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->kvm->vm_bugged	0-1
PARAM_VALUE	0	regs->vcpu->kvm->vm_dead	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->as_id	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->base_gfn	0-s64max
PARAM_VALUE	0	regs->vcpu->last_used_slot->gmem.pgoff	0-2251799813685247
PARAM_VALUE	0	regs->vcpu->last_used_slot->id	0-32766
PARAM_VALUE	0	regs->vcpu->last_used_slot->npages	0-4503599627370495
PARAM_VALUE	0	*regs->vcpu->arch.mmu->permissions	0-u16max
PARAM_VALUE	0	*regs->vcpu->arch.ngpa_walk->permissions	0-u16max
PARAM_VALUE	1	seg_reg_idx	7
DATA_SOURCE	0	regs	$0
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c save_state_to_tss32() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->dst.type	7
PARAM_VALUE	0	regs->ops	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_idt	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_segment	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	4096-ptr_max
PARAM_VALUE	0	regs->regs_dirty	0
PARAM_VALUE	0	regs->vcpu->arch.gva_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->kvm->vm_bugged	0-1
PARAM_VALUE	0	regs->vcpu->kvm->vm_dead	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->as_id	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->base_gfn	0-s64max
PARAM_VALUE	0	regs->vcpu->last_used_slot->gmem.pgoff	0-2251799813685247
PARAM_VALUE	0	regs->vcpu->last_used_slot->id	0-32766
PARAM_VALUE	0	regs->vcpu->last_used_slot->npages	0-4503599627370495
PARAM_VALUE	0	*regs->vcpu->arch.mmu->permissions	0-u16max
PARAM_VALUE	0	*regs->vcpu->arch.ngpa_walk->permissions	0-u16max
PARAM_VALUE	1	seg_reg_idx	0
DATA_SOURCE	0	regs	$0
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c save_state_to_tss32() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->dst.type	7
PARAM_VALUE	0	regs->ops	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_idt	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_segment	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	4096-ptr_max
PARAM_VALUE	0	regs->regs_dirty	0
PARAM_VALUE	0	regs->vcpu->arch.gva_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->kvm->vm_bugged	0-1
PARAM_VALUE	0	regs->vcpu->kvm->vm_dead	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->as_id	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->base_gfn	0-s64max
PARAM_VALUE	0	regs->vcpu->last_used_slot->gmem.pgoff	0-2251799813685247
PARAM_VALUE	0	regs->vcpu->last_used_slot->id	0-32766
PARAM_VALUE	0	regs->vcpu->last_used_slot->npages	0-4503599627370495
PARAM_VALUE	0	*regs->vcpu->arch.mmu->permissions	0-u16max
PARAM_VALUE	0	*regs->vcpu->arch.ngpa_walk->permissions	0-u16max
PARAM_VALUE	1	seg_reg_idx	1
DATA_SOURCE	0	regs	$0
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c save_state_to_tss32() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->dst.type	7
PARAM_VALUE	0	regs->ops	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_idt	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_segment	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	4096-ptr_max
PARAM_VALUE	0	regs->regs_dirty	0
PARAM_VALUE	0	regs->vcpu->arch.gva_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->kvm->vm_bugged	0-1
PARAM_VALUE	0	regs->vcpu->kvm->vm_dead	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->as_id	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->base_gfn	0-s64max
PARAM_VALUE	0	regs->vcpu->last_used_slot->gmem.pgoff	0-2251799813685247
PARAM_VALUE	0	regs->vcpu->last_used_slot->id	0-32766
PARAM_VALUE	0	regs->vcpu->last_used_slot->npages	0-4503599627370495
PARAM_VALUE	0	*regs->vcpu->arch.mmu->permissions	0-u16max
PARAM_VALUE	0	*regs->vcpu->arch.ngpa_walk->permissions	0-u16max
PARAM_VALUE	1	seg_reg_idx	2
DATA_SOURCE	0	regs	$0
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c save_state_to_tss32() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->dst.type	7
PARAM_VALUE	0	regs->ops	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_idt	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_segment	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	4096-ptr_max
PARAM_VALUE	0	regs->regs_dirty	0
PARAM_VALUE	0	regs->vcpu->arch.gva_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->kvm->vm_bugged	0-1
PARAM_VALUE	0	regs->vcpu->kvm->vm_dead	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->as_id	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->base_gfn	0-s64max
PARAM_VALUE	0	regs->vcpu->last_used_slot->gmem.pgoff	0-2251799813685247
PARAM_VALUE	0	regs->vcpu->last_used_slot->id	0-32766
PARAM_VALUE	0	regs->vcpu->last_used_slot->npages	0-4503599627370495
PARAM_VALUE	0	*regs->vcpu->arch.mmu->permissions	0-u16max
PARAM_VALUE	0	*regs->vcpu->arch.ngpa_walk->permissions	0-u16max
PARAM_VALUE	1	seg_reg_idx	3
DATA_SOURCE	0	regs	$0
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c save_state_to_tss32() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->dst.type	7
PARAM_VALUE	0	regs->ops	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_idt	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_segment	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	4096-ptr_max
PARAM_VALUE	0	regs->regs_dirty	0
PARAM_VALUE	0	regs->vcpu->arch.gva_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->kvm->vm_bugged	0-1
PARAM_VALUE	0	regs->vcpu->kvm->vm_dead	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->as_id	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->base_gfn	0-s64max
PARAM_VALUE	0	regs->vcpu->last_used_slot->gmem.pgoff	0-2251799813685247
PARAM_VALUE	0	regs->vcpu->last_used_slot->id	0-32766
PARAM_VALUE	0	regs->vcpu->last_used_slot->npages	0-4503599627370495
PARAM_VALUE	0	*regs->vcpu->arch.mmu->permissions	0-u16max
PARAM_VALUE	0	*regs->vcpu->arch.ngpa_walk->permissions	0-u16max
PARAM_VALUE	1	seg_reg_idx	4
DATA_SOURCE	0	regs	$0
USER_PTR	0	regs->fetch.end

arch/x86/kvm/emulate.c save_state_to_tss32() -> get_segment_selector()

Type	Parameter	Key	Value
PARAM_VALUE	0	regs	4096-ptr_max
PARAM_VALUE	0	regs->dst.type	7
PARAM_VALUE	0	regs->ops	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_idt	4096-ptr_max
PARAM_VALUE	0	regs->ops->get_segment	4096-ptr_max
PARAM_VALUE	0	regs->ops->read_std	4096-ptr_max
PARAM_VALUE	0	regs->regs_dirty	0
PARAM_VALUE	0	regs->vcpu->arch.gva_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.mmu->pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp	0-1
PARAM_VALUE	0	regs->vcpu->arch.ngpa_walk.pkru_mask	0-4294967295
PARAM_VALUE	0	regs->vcpu->kvm->vm_bugged	0-1
PARAM_VALUE	0	regs->vcpu->kvm->vm_dead	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->as_id	0-1
PARAM_VALUE	0	regs->vcpu->last_used_slot->base_gfn	0-s64max
PARAM_VALUE	0	regs->vcpu->last_used_slot->gmem.pgoff	0-2251799813685247
PARAM_VALUE	0	regs->vcpu->last_used_slot->id	0-32766
PARAM_VALUE	0	regs->vcpu->last_used_slot->npages	0-4503599627370495
PARAM_VALUE	0	*regs->vcpu->arch.mmu->permissions	0-u16max
PARAM_VALUE	0	*regs->vcpu->arch.ngpa_walk->permissions	0-u16max
PARAM_VALUE	1	seg_reg_idx	5
DATA_SOURCE	0	regs	$0
USER_PTR	0	regs->fetch.end