Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

arch/x86/mm/init_64.c __set_pte_vaddr() -> flush_tlb_one_kernel()

Type Parameter Key Value
DATA_SOURCE 0 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/mm/tlb.c do_kernel_range_flush() -> flush_tlb_one_kernel()

Type Parameter Key Value
PARAM_VALUE 0 addr 0-18446744073709551614
CAPPED_DATA 0 addr 1
CAPPED_DATA 0 addr 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 addr unit_byte
HALF_LOCKED2 flags

arch/x86/mm/ioremap.c __early_set_fixmap() -> flush_tlb_one_kernel()

Type Parameter Key Value
PARAM_VALUE 0 addr 18446744073694871552-18446744073696706560
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/kfence/core.c kfence_protect_page() -> flush_tlb_one_kernel()

Type Parameter Key Value
PARAM_VALUE 0 addr 0,4096-u64max
DATA_SOURCE 0 addr $0
BIT_INFO 0 addr 0x0,0xfffffffffffff000
BIT_INFO 0 addr 0x0,0xfffffffffffff000
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &meta->lock
HALF_LOCKED2 flags

arch/x86/mm/kmmio.c clear_page_presence() -> flush_tlb_one_kernel()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

arch/x86/mm/pat/set_memory.c __cpa_flush_tlb() -> flush_tlb_one_kernel()

Type Parameter Key Value
PARAM_VALUE 0 addr 0-4611686018427387903,13835058055282163712-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags