Defined in 2 files as a member:

Defined in 2 files as a function:

Referenced in 6 files:

Smatch caller information:

arch/x86/mm/tlb.c native_flush_tlb_one_user() -> invlpg()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
NOCHECK_CALL

arch/x86/kernel/cpu/microcode/amd.c __apply_microcode_amd() -> invlpg()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-18446744073709547520
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kernel/cpu/microcode/amd.c __apply_microcode_amd() -> invlpg()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte

Smatch assignments to (struct x86_emulate_ops)->invlpg:

arch/x86/kvm/x86.c (null)() -> (struct x86_emulate_ops)->invlpg [235395791615361024]