Defined in 4 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/futex/core.c futex_init() -> runtime_const_fixup()

Type Parameter Key Value
PARAM_VALUE 1 val 0-u32max
PARAM_VALUE 2 start 3332655317085732864
PARAM_VALUE 3 end 292738565307842560
NOCHECK_CALL

kernel/futex/core.c futex_init() -> runtime_const_fixup()

Type Parameter Key Value
PARAM_VALUE 1 val 15
PARAM_VALUE 2 start 5832566716283199488
PARAM_VALUE 3 end 6683545756714938368
NOCHECK_CALL

kernel/futex/core.c futex_init() -> runtime_const_fixup()

Type Parameter Key Value
PARAM_VALUE 1 val 0,16,4096-18446744073709547520
PARAM_VALUE 2 start 4313272401404096512
PARAM_VALUE 3 end 8286530344695758848
BUF_SIZE 1 val 8
DATA_SOURCE 1 val r _kmalloc_array_noprof
NOCHECK_CALL

fs/namei.c filename_init() -> runtime_const_fixup()

Type Parameter Key Value
PARAM_VALUE 1 val 0,4096-18446744073709547520
PARAM_VALUE 2 start 1463612956097130496
PARAM_VALUE 3 end 8153107931620515840
DATA_SOURCE 1 val r kmem_cache_create_usercopy
NOCHECK_CALL

fs/file_table.c files_init() -> runtime_const_fixup()

Type Parameter Key Value
PARAM_VALUE 1 val 0,4096-18446744073709547520
PARAM_VALUE 2 start 4288258500761456640
PARAM_VALUE 3 end 3882066040227192832
NOCHECK_CALL

fs/file_table.c files_init() -> runtime_const_fixup()

Type Parameter Key Value
PARAM_VALUE 1 val 0,4096-18446744073709547520
PARAM_VALUE 2 start 126924932395761664
PARAM_VALUE 3 end 2004202686508122112
NOCHECK_CALL

arch/x86/kernel/cpu/common.c arch_cpu_finalize_init() -> runtime_const_fixup()

Type Parameter Key Value
PARAM_VALUE 2 start 7506885066836357120
PARAM_VALUE 3 end 450156622245519360
DATA_SOURCE 1 val r task_size_max
NOCHECK_CALL

fs/dcache.c dcache_init() -> runtime_const_fixup()

Type Parameter Key Value
PARAM_VALUE 1 val 0,4096-18446744073709547520
PARAM_VALUE 2 start 3605883465650749440
PARAM_VALUE 3 end 793981942504648704
DATA_SOURCE 1 val r __kmem_cache_create_args
NOCHECK_CALL

fs/dcache.c dcache_init() -> runtime_const_fixup()

Type Parameter Key Value
PARAM_VALUE 1 val 0-u32max
PARAM_VALUE 2 start 5095627398828265472
PARAM_VALUE 3 end 1662801016304668672
NOCHECK_CALL

fs/dcache.c dcache_init() -> runtime_const_fixup()

Type Parameter Key Value
PARAM_VALUE 1 val 1-u64max
PARAM_VALUE 2 start 3230784081381076992
PARAM_VALUE 3 end 4395838356112699392
BUF_SIZE 1 val s32min-s32max
DATA_SOURCE 1 val r alloc_large_system_hash
NOCHECK_CALL

fs/dcache.c dcache_init_early() -> runtime_const_fixup()

Type Parameter Key Value
PARAM_VALUE 1 val 0-u32max
PARAM_VALUE 2 start 153604585337905152
PARAM_VALUE 3 end 7091709816969674752
NOCHECK_CALL
LOCK2 irq

fs/dcache.c dcache_init_early() -> runtime_const_fixup()

Type Parameter Key Value
PARAM_VALUE 1 val 1-u64max
PARAM_VALUE 2 start 4737847328777662464
PARAM_VALUE 3 end 3353908879664783360
BUF_SIZE 1 val s32min-s32max
DATA_SOURCE 1 val r alloc_large_system_hash
NOCHECK_CALL
LOCK2 irq