Defined in 1 files as a prototype:

Defined in 12 files as a function:

Referenced in 5 files:

Smatch caller information:

kernel/resource.c __find_resource_space() -> __find_resource_space ptr alignf()

Type Parameter Key Value
PARAM_VALUE 1 res 1917258572891131904
PARAM_VALUE 2 empty_res 6073588794836238336
BUF_SIZE 0 data 24
DATA_SOURCE 3 size $3
CONTAINER 0 *(-24+32) $(-1)
CONTAINER 4 *(-24+16) $(-1)
NOSPEC 3 size
NOSPEC 3 size
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 res->start 0-u64max[c]
HOST_DATA 2 empty_res->start 0-s32max[c]
USER_DATA 3 size 1-9223372032559808512[c]
NO_OVERFLOW_SIMPLE 1 res->end
NO_OVERFLOW_SIMPLE 2 empty_res->end
NO_OVERFLOW_SIMPLE 2 empty_res->start
NO_OVERFLOW_SIMPLE 3 size
UNITS 0 data unit_byte
UNITS 3 size unit_byte
UNITS 4 align unit_byte
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