Documented in 1 files:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

net/core/page_pool.c page_pool_init() -> is_kernel_rodata()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
RX_PATH
TASK_NOT_RUNNING

mm/util.c kfree_const() -> is_kernel_rodata()

Type Parameter Key Value
BUF_SIZE 0 addr s32min-s32max
DATA_SOURCE 0 addr $0
STR_LEN 0 addr (-1),3-4,6-7,12
STR_LEN 0 addr (-1),3-4,6-7,12
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &card->dapm_mutex
HALF_LOCKED2 &ei->req_mlock
HALF_LOCKED2 &fwc->lock
HALF_LOCKED2 &hdev->req_lock
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &rproc->lock
HALF_LOCKED2 &test_dev->config_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &acpi_device_lock
HALF_LOCKED2 global &gbcodec->register_mutex
HALF_LOCKED2 global &reg_dev_mutex
HALF_LOCKED2 global &shrinker_mutex
HALF_LOCKED2 global &slab_mutex
HALF_LOCKED2 global &test_fw_mutex

mm/util.c kstrdup_const() -> is_kernel_rodata()

Type Parameter Key Value
BUF_SIZE 0 addr s32min-s32max
DATA_SOURCE 0 addr $0
STR_LEN 0 addr (-1)-0,3-20,23-24,27,30-31,63,99
STR_LEN 0 addr (-1)-0,3-20,23-24,27,30-31,63,99
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
HALF_LOCKED2 &fwc->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &root->kernfs_rwsem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &acpi_device_lock
HALF_LOCKED2 global &dpm_list_mtx
HALF_LOCKED2 global &fw_lock
HALF_LOCKED2 global &leds_lookup_lock
HALF_LOCKED2 global &slab_mutex

drivers/base/devres.c devm_kfree() -> is_kernel_rodata()

Type Parameter Key Value
DATA_SOURCE 0 addr $1

drivers/base/devres.c devm_kmemdup_const() -> is_kernel_rodata()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-18446744073709547520
BUF_SIZE 0 addr (-1),32
DATA_SOURCE 0 addr $1
RX_PATH
TASK_NOT_RUNNING

drivers/base/devres.c devm_krealloc() -> is_kernel_rodata()

Type Parameter Key Value
PARAM_VALUE 0 addr 17-u64max
BUF_SIZE 0 addr s32min-s32max
DATA_SOURCE 0 addr $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

drivers/base/devres.c devm_kstrdup_const() -> is_kernel_rodata()

Type Parameter Key Value
BUF_SIZE 0 addr s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 addr $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &card->mutex
HALF_LOCKED2 _T->lock

fs/kernfs/dir.c kernfs_rename_ns() -> is_kernel_rodata()

Type Parameter Key Value
DATA_SOURCE 0 addr $2 [m]
RX_PATH
TASK_NOT_RUNNING
LOCK2 &root->kernfs_rwsem
LOCK2 global &dpm_list_mtx
HALF_LOCKED2 &hdev->lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct kernfs_root)->kernfs_rwsem

kernel/locking/lockdep.c static_obj() -> is_kernel_rodata()

Type Parameter Key Value
DATA_SOURCE 0 addr $0
STR_LEN 0 addr (-1),11,13
STR_LEN 0 addr (-1),11,13
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

lib/kunit/test.c kunit_kfree_const() -> is_kernel_rodata()

Type Parameter Key Value
BUF_SIZE 0 addr 4-25,28-29,32
DATA_SOURCE 0 addr $1
TASK_NOT_RUNNING

lib/kunit/test.c kunit_kstrdup_const() -> is_kernel_rodata()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-18446744073709547520
BUF_SIZE 0 addr 9-10,12,14-17,20-24,28
DATA_SOURCE 0 addr $1

kernel/trace/trace.c trace_adjust_address() -> is_kernel_rodata()

Type Parameter Key Value
PARAM_VALUE 0 addr 0-24158083983945727,822922260318040064-u64max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte
LOCK2 rcu_read
HALF_LOCKED2 flags

kernel/trace/trace.c trace_safe_str() -> is_kernel_rodata()

Type Parameter Key Value
CAPPED_DATA 0 addr 1
CAPPED_DATA 0 addr 1
DATA_SOURCE 0 addr $1
UNITS 0 addr unit_byte