Open Menu /

Defined in 1 files as a prototype:

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

mm/percpu.c pcpu_populate_pte() -> arch_sync_kernel_mappings()

Type Parameter Key Value
DATA_SOURCE 0 start $0
DATA_SOURCE 1 end $0
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte
LOCK2 irq

mm/percpu.c pcpu_populate_pte() -> arch_sync_kernel_mappings()

Type Parameter Key Value
DATA_SOURCE 0 start $0
DATA_SOURCE 1 end $0
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte
LOCK2 irq

mm/kasan/init.c kasan_populate_early_shadow() -> arch_sync_kernel_mappings()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

mm/kasan/init.c kasan_populate_early_shadow() -> arch_sync_kernel_mappings()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

mm/kasan/init.c kasan_populate_early_shadow() -> arch_sync_kernel_mappings()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

mm/kasan/init.c zero_p4d_populate() -> arch_sync_kernel_mappings()

Type Parameter Key Value
DATA_SOURCE 0 start $1 [m]
DATA_SOURCE 1 end $1 [m]
BIT_INFO 0 start 0x0,0xffffff8000000000
BIT_INFO 0 start 0x0,0xffffff8000000000
BIT_INFO 1 end 0x0,0xffffff8000000000
BIT_INFO 1 end 0x0,0xffffff8000000000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

mm/kasan/init.c zero_p4d_populate() -> arch_sync_kernel_mappings()

Type Parameter Key Value
DATA_SOURCE 0 start $1 [m]
DATA_SOURCE 1 end $1 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

mm/memory.c __apply_to_page_range() -> arch_sync_kernel_mappings()

Type Parameter Key Value
PARAM_VALUE 0 start 0-18446744073709551614
NOSPEC 0 start
NOSPEC 0 start
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 start 0-18446744073709551614
USER_DATA 1 end 0-18446744073709551614
UNITS 0 start unit_byte
UNITS 1 end unit_byte
HALF_LOCKED2 flags

mm/vmalloc.c __vunmap_range_noflush() -> arch_sync_kernel_mappings()

Type Parameter Key Value
PARAM_VALUE 0 start 0-18446744073709551614
PARAM_VALUE 1 end 1-u64max
CAPPED_DATA 1 end 1
CAPPED_DATA 1 end 1
DATA_SOURCE 0 start $0
DATA_SOURCE 1 end $1
PARAM_COMPARE 0 start < $1
PARAM_COMPARE 1 end > $0
PARAM_COMPARE 1 end > $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte
HALF_LOCKED2 global &pcpu_alloc_mutex

mm/vmalloc.c vmap_range_noflush() -> arch_sync_kernel_mappings()

Type Parameter Key Value
PARAM_VALUE 0 start 0-18446744073709551614
PARAM_VALUE 1 end 1-u64max
CAPPED_DATA 0 start 1
CAPPED_DATA 0 start 1
DATA_SOURCE 1 end $1
PARAM_COMPARE 0 start < $1
PARAM_COMPARE 1 end > $0
PARAM_COMPARE 1 end > $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte

mm/vmalloc.c vmap_small_pages_range_noflush() -> arch_sync_kernel_mappings()

Type Parameter Key Value
PARAM_VALUE 0 start 0-18446744073709551614
PARAM_VALUE 1 end 1-u64max
DATA_SOURCE 1 end $1
PARAM_COMPARE 0 start < $1
PARAM_COMPARE 1 end > $0
PARAM_COMPARE 1 end > $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_byte
UNITS 1 end unit_byte

mm/sparse-vmemmap.c vmemmap_p4d_populate() -> arch_sync_kernel_mappings()

Type Parameter Key Value
CAPPED_DATA 0 start 1
CAPPED_DATA 0 start 1
CAPPED_DATA 1 end 1
CAPPED_DATA 1 end 1
DATA_SOURCE 0 start $1
DATA_SOURCE 1 end $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_page
UNITS 1 end unit_page
HALF_LOCKED2 irq

mm/sparse-vmemmap.c vmemmap_pgd_populate() -> arch_sync_kernel_mappings()

Type Parameter Key Value
CAPPED_DATA 0 start 1
CAPPED_DATA 0 start 1
CAPPED_DATA 1 end 1
CAPPED_DATA 1 end 1
DATA_SOURCE 0 start $0
DATA_SOURCE 1 end $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 start unit_page
UNITS 1 end unit_page
HALF_LOCKED2 irq