Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/xen/enlighten_pv.c xen_write_idt_entry() -> native_write_idt_entry()

Type Parameter Key Value
PARAM_VALUE 0 idt 4096-ptr_max
DATA_SOURCE 0 idt $0
DATA_SOURCE 1 entry $1
DATA_SOURCE 2 gate $2
PREEMPT_ADD <- disables preempt
NOCHECK_CALL

arch/x86/boot/startup/gdt_idt.c startup_64_load_idt() -> native_write_idt_entry()

Type Parameter Key Value
PARAM_VALUE 1 entry 29
PARAM_VALUE 2 gate 2361311746542837760
DATA_SOURCE 0 idt r rip_rel_ptr
NOCHECK_CALL
UNITS 0 idt unit_byte