Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/emulate.c load_state_from_tss16() -> set_segment_selector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->_eip | 0-u16max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->eflags | 2-65537 |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->gmem.pgoff | 0-2251799813685247 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.mmu->permissions | 0-u16max |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.ngpa_walk->permissions | 0-u16max |
| PARAM_VALUE | 2 | seg | 7 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->eflags | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c load_state_from_tss16() -> set_segment_selector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->_eip | 0-u16max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->eflags | 2-65537 |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->gmem.pgoff | 0-2251799813685247 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.mmu->permissions | 0-u16max |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.ngpa_walk->permissions | 0-u16max |
| PARAM_VALUE | 2 | seg | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->eflags | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c load_state_from_tss16() -> set_segment_selector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->_eip | 0-u16max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->eflags | 2-65537 |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->gmem.pgoff | 0-2251799813685247 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.mmu->permissions | 0-u16max |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.ngpa_walk->permissions | 0-u16max |
| PARAM_VALUE | 2 | seg | 1 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->eflags | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c load_state_from_tss16() -> set_segment_selector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->_eip | 0-u16max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->eflags | 2-65537 |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->gmem.pgoff | 0-2251799813685247 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.mmu->permissions | 0-u16max |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.ngpa_walk->permissions | 0-u16max |
| PARAM_VALUE | 2 | seg | 2 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->eflags | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c load_state_from_tss16() -> set_segment_selector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->_eip | 0-u16max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->eflags | 2-65537 |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->gmem.pgoff | 0-2251799813685247 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.mmu->permissions | 0-u16max |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.ngpa_walk->permissions | 0-u16max |
| PARAM_VALUE | 2 | seg | 3 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->eflags | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c load_state_from_tss32() -> set_segment_selector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->_eip | 0-u32max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->eflags | 0,2-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.cr8 | 0-14 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.fmt.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.pdptrs_from_userspace | 0 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.root_mmu.root_role.word | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->arch.indirect_shadow_pages | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->gmem.pgoff | 0-2251799813685247 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.apic->regs | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.mmu->permissions | 0-u16max |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.ngpa_walk->permissions | 0-u16max |
| PARAM_VALUE | 2 | seg | 7 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->eflags | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_DATA | 0 | *ctxt->vcpu->arch.pdptrs | s64min-s64max |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c load_state_from_tss32() -> set_segment_selector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->_eip | 0-u32max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->eflags | 0,2-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.cr8 | 0-14 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.fmt.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.pdptrs_from_userspace | 0 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.root_mmu.root_role.word | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->arch.indirect_shadow_pages | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->gmem.pgoff | 0-2251799813685247 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.apic->regs | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.mmu->permissions | 0-u16max |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.ngpa_walk->permissions | 0-u16max |
| PARAM_VALUE | 2 | seg | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->eflags | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_DATA | 0 | *ctxt->vcpu->arch.pdptrs | s64min-s64max |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c load_state_from_tss32() -> set_segment_selector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->_eip | 0-u32max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->eflags | 0,2-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.cr8 | 0-14 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.fmt.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.pdptrs_from_userspace | 0 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.root_mmu.root_role.word | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->arch.indirect_shadow_pages | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->gmem.pgoff | 0-2251799813685247 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.apic->regs | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.mmu->permissions | 0-u16max |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.ngpa_walk->permissions | 0-u16max |
| PARAM_VALUE | 2 | seg | 1 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->eflags | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_DATA | 0 | *ctxt->vcpu->arch.pdptrs | s64min-s64max |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c load_state_from_tss32() -> set_segment_selector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->_eip | 0-u32max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->eflags | 0,2-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.cr8 | 0-14 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.fmt.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.pdptrs_from_userspace | 0 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.root_mmu.root_role.word | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->arch.indirect_shadow_pages | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->gmem.pgoff | 0-2251799813685247 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.apic->regs | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.mmu->permissions | 0-u16max |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.ngpa_walk->permissions | 0-u16max |
| PARAM_VALUE | 2 | seg | 2 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->eflags | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_DATA | 0 | *ctxt->vcpu->arch.pdptrs | s64min-s64max |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c load_state_from_tss32() -> set_segment_selector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->_eip | 0-u32max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->eflags | 0,2-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.cr8 | 0-14 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.fmt.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.pdptrs_from_userspace | 0 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.root_mmu.root_role.word | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->arch.indirect_shadow_pages | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->gmem.pgoff | 0-2251799813685247 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.apic->regs | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.mmu->permissions | 0-u16max |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.ngpa_walk->permissions | 0-u16max |
| PARAM_VALUE | 2 | seg | 3 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->eflags | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_DATA | 0 | *ctxt->vcpu->arch.pdptrs | s64min-s64max |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c load_state_from_tss32() -> set_segment_selector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->_eip | 0-u32max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->eflags | 0,2-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.cr8 | 0-14 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.fmt.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.pdptrs_from_userspace | 0 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.root_mmu.root_role.word | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->arch.indirect_shadow_pages | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->gmem.pgoff | 0-2251799813685247 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.apic->regs | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.mmu->permissions | 0-u16max |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.ngpa_walk->permissions | 0-u16max |
| PARAM_VALUE | 2 | seg | 4 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->eflags | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_DATA | 0 | *ctxt->vcpu->arch.pdptrs | s64min-s64max |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c load_state_from_tss32() -> set_segment_selector()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->_eip | 0-u32max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->eflags | 0,2-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.cr8 | 0-14 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.gva_walk.fmt.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.pdptrs_from_userspace | 0 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.root_mmu.root_role.word | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->arch.indirect_shadow_pages | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->gmem.pgoff | 0-2251799813685247 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.apic->regs | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.mmu->permissions | 0-u16max |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.ngpa_walk->permissions | 0-u16max |
| PARAM_VALUE | 2 | seg | 5 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->eflags | 0x2,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_DATA | 0 | *ctxt->vcpu->arch.pdptrs | s64min-s64max |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |