Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/buddy.c __alloc_range() -> gpu_buddy_block_is_allocated()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mgr->lock

drivers/gpu/buddy.c __alloc_range_bias() -> gpu_buddy_block_is_allocated()

Type Parameter Key Value
BUF_SIZE 0 block 0
BIT_INFO 0 block 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &bman->lock
HALF_LOCKED2 &manager->lock
HALF_LOCKED2 &mgr->lock

drivers/gpu/buddy.c __gpu_buddy_free() -> gpu_buddy_block_is_allocated()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
DATA_SOURCE 0 block $1 [m]
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/buddy.c gpu_buddy_allocated_addr_to_block() -> gpu_buddy_block_is_allocated()

Type Parameter Key Value
BUF_SIZE 0 block 0
BIT_INFO 0 block 0x0,0x0

drivers/gpu/buddy.c gpu_buddy_block_trim() -> gpu_buddy_block_is_allocated()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mgr->lock

drivers/gpu/buddy.c gpu_buddy_free_block() -> gpu_buddy_block_is_allocated()

Type Parameter Key Value
DATA_SOURCE 0 block $1
RX_PATH
TASK_NOT_RUNNING

drivers/gpu/buddy.c mark_free() -> gpu_buddy_block_is_allocated()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
DATA_SOURCE 0 block $1
RX_PATH
TASK_NOT_RUNNING