__pv_send_ipi identifier - Linux source code next-20260811 - Bootlin Elixir Cross Referencer

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

arch/x86/kvm/lapic.c, line 850 (as a function)

Referenced in 1 files:

arch/x86/kvm/lapic.c
- line 894
- line 896

Smatch caller information:

arch/x86/kvm/lapic.c kvm_pv_send_ipi() -> __pv_send_ipi()

Type	Parameter	Key	Value
PARAM_VALUE	1	map	1-u64max
PARAM_VALUE	2	irq	6932446891343921152
PARAM_VALUE	2	irq->delivery_mode	0,256-1792
PARAM_VALUE	2	irq->dest_id	0
PARAM_VALUE	2	irq->trig_mode	0,32768
PARAM_VALUE	2	irq->vector	0-255
CAPPED_DATA	3	min	1
DATA_SOURCE	3	min	$3
LOCK2		rcu_read

arch/x86/kvm/lapic.c kvm_pv_send_ipi() -> __pv_send_ipi()

Type	Parameter	Key	Value
PARAM_VALUE	1	map	4096-ptr_max
PARAM_VALUE	2	irq	6932446891343921152
PARAM_VALUE	2	irq->delivery_mode	0,256-1792
PARAM_VALUE	2	irq->dest_id	0
PARAM_VALUE	2	irq->trig_mode	0,32768
PARAM_VALUE	2	irq->vector	0-255
CAPPED_DATA	3	min	1
DATA_SOURCE	3	min	$3 [m]
LOCK2		rcu_read