Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
DATA_SOURCE 0 block $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 block->header 0-u64max[c]

drivers/gpu/buddy.c gpu_buddy_block_is_split() -> gpu_buddy_block_state()

Type Parameter Key Value
DATA_SOURCE 0 block $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mgr->lock