Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/kvm/lapic.c kvm_ioapic_send_eoi() -> irqchip_split()

Type Parameter Key Value
UNITS 0 kvm unit_byte

arch/x86/kvm/x86.c kvm_vm_ioctl_check_extension() -> irqchip_split()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
BUF_SIZE 0 kvm s32min-(-1),1-s32max
BUF_SIZE 0 kvm s32min-(-1),1-s32max
DATA_SOURCE 0 kvm $0

arch/x86/kvm/x86.c kvm_vm_ioctl_enable_cap() -> irqchip_split()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
BUF_SIZE 0 kvm s32min-(-2),1-s32max
BUF_SIZE 0 kvm s32min-(-2),1-s32max
CAPPED_DATA 0 kvm->mm 1
DATA_SOURCE 0 kvm $0

arch/x86/kvm/x86.c vcpu_scan_ioapic() -> irqchip_split()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 0 kvm->arch.irqchip_mode 0,2-u32max
CAPPED_DATA 0 kvm->mm 1
CAPPED_DATA 0 kvm->srcu.srcu_ctrp 1
UNITS 0 kvm unit_byte
LOCK2 &vcpu->mutex
LOCK2 0 &kvm->srcu
TYPE_LOCK (struct kvm)->srcu
TYPE_LOCK (struct kvm_vcpu)->mutex

arch/x86/kvm/irq.c kvm_arch_irq_routing_update() -> irqchip_split()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
BUF_SIZE 0 kvm s32min-(-2),1-s32max
BUF_SIZE 0 kvm s32min-(-2),1-s32max
CAPPED_DATA 0 kvm->irq_routing 1
CAPPED_DATA 0 kvm->irq_routing->nr_rt_entries 1
DATA_SOURCE 0 kvm $0
LOCK2 0 &kvm->irq_lock
HALF_LOCKED2 0 &kvm->lock
TYPE_LOCK (struct kvm)->irq_lock

arch/x86/kvm/irq.c kvm_cpu_get_extint() -> irqchip_split()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 0 kvm->arch.irqchip_mode 0,2-s32max
PREEMPT_ADD
UNITS 0 kvm unit_byte
HALF_LOCKED2 &v->mutex
HALF_LOCKED2 0 &kvm->srcu

arch/x86/kvm/irq.c kvm_cpu_has_extint() -> irqchip_split()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 0 kvm->arch.irqchip_mode 0,2-s32max
NO_OVERFLOW_SIMPLE 0 kvm->arch.split_page_header_cache.kmem_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 kvm->arch.split_shadow_page_cache.kmem_cache->sheaf_capacity
UNITS 0 kvm unit_byte
HALF_LOCKED2 &v->mutex
HALF_LOCKED2 0 &kvm->srcu

arch/x86/kvm/irq.c kvm_set_routing_entry() -> irqchip_split()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
BUF_SIZE 0 kvm s32min-(-2),1-s32max
BUF_SIZE 0 kvm s32min-(-2),1-s32max
DATA_SOURCE 0 kvm $0
HALF_LOCKED2 0 &kvm->lock

arch/x86/kvm/vmx/tdx.c tdx_vcpu_create() -> irqchip_split()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
UNITS 0 kvm unit_byte