Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/resource.c __insert_resource() -> __request_resource()

Type Parameter Key Value
PARAM_VALUE 1 new 1-u64max
BUF_SIZE 0 root (-1),64
BUF_SIZE 0 root (-1),64
BUF_SIZE 1 new (-1),64,1088
BUF_SIZE 1 new (-1),64,1088
BUF_SIZE 1 new->name s32min,(-10),(-1),1-s32max
CAPPED_DATA 1 new 1
DATA_SOURCE 0 root $0
DATA_SOURCE 1 new $1
STR_LEN 0 root (-1),11-12,14
STR_LEN 0 root (-1),11-12,14
STR_LEN 1 new->name (-1),10,17
STR_LEN 1 new->parent (-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 new->start 4096-9223372036854775806[c]
LOCK2 global &resource_lock

kernel/resource.c __request_region_locked() -> __request_resource()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
BUF_SIZE 1 new 64
BUF_SIZE 1 new->name s32min,(-10),(-1),1-s32max
DATA_SOURCE 0 root $1 [m]
DATA_SOURCE 1 new $0
BIT_INFO 1 new->flags 0x80000000,0xffffffff
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &resource_lock

kernel/resource.c __reserve_region_with_split() -> __request_resource()

Type Parameter Key Value
PARAM_VALUE 0 root 2936731392875139072
PARAM_VALUE 1 new 4096-ptr_max
BUF_SIZE 1 new 0,64
BUF_SIZE 1 new 0,64
BUF_SIZE 1 new->name (-1),11
CAPPED_DATA 0 root->start 1
DATA_SOURCE 0 root $0
STR_LEN 0 root 10
STR_LEN 0 root 10
STR_LEN 1 new->parent (-1)
TERMINATED 1 new->name 1
LOCK2 global &resource_lock

kernel/resource.c allocate_resource() -> __request_resource()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->child 0,4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->parent 0
BUF_SIZE 1 new (-1),64
BUF_SIZE 1 new (-1),64
BUF_SIZE 1 new->name (-1),3-4,7,11-12,19,48
CAPPED_DATA 1 new 1
DATA_SOURCE 0 root $0
DATA_SOURCE 1 new $1
STR_LEN 1 new->name (-1),10-11
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 new->end
LOCK2 global &resource_lock
HALF_LOCKED2 &evdev->mutex
HALF_LOCKED2 &s->ops_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &balloon_mutex
HALF_LOCKED2 global &gpmc_mem_lock
HALF_LOCKED2 global &list_lock

kernel/resource.c reallocate_resource() -> __request_resource()

Type Parameter Key Value
PARAM_VALUE 0 root 4096-ptr_max
PARAM_VALUE 0 root->child 0,4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->parent 1-u64max
BUF_SIZE 1 new (-1),64
BUF_SIZE 1 new (-1),64
CAPPED_DATA 1 new 1
DATA_SOURCE 0 root $0
DATA_SOURCE 1 new $1
STR_LEN 1 new->name (-1),10-11
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 new->end
LOCK2 global &resource_lock
HALF_LOCKED2 &evdev->mutex
HALF_LOCKED2 &s->ops_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &balloon_mutex
HALF_LOCKED2 global &gpmc_mem_lock
HALF_LOCKED2 global &list_lock

kernel/resource.c request_resource_conflict() -> __request_resource()

Type Parameter Key Value
BUF_SIZE 0 root (-1),64,896,960,1024
BUF_SIZE 0 root (-1),64,896,960,1024
BUF_SIZE 1 new (-1),64,128,1088
BUF_SIZE 1 new (-1),64,128,1088
BUF_SIZE 1 new->name (-1),4,9,16
BUF_SIZE 1 new->parent (-1),64
DATA_SOURCE 0 root $0
DATA_SOURCE 1 new $1
STR_LEN 1 new->name (-1),3,8,11,15
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 new->end 1-16777470[c]
HOST_DATA 1 new->start 0-16777470[c]
USER_DATA 1 new->end 0-u16max[c]
USER_DATA 1 new->start 0-u16max[c]
LOCK2 global &resource_lock