Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/char/agp/generic.c agp_unbind_memory() -> (struct agp_bridge_driver)->remove_memory()

Type Parameter Key Value
PARAM_VALUE 0 mem 4096-ptr_max
PARAM_VALUE 0 mem->bridge 4096-ptr_max
PARAM_VALUE 0 mem->bridge->driver 4096-ptr_max
PARAM_VALUE 0 mem->is_bound 1
BUF_SIZE 0 mem (-1),104
BUF_SIZE 0 mem (-1),104
DATA_SOURCE 0 mem $0
CONTAINER 0 -120-8-16+0 $(-1)
CONTAINER 1 *(-120-8-16+48) $(-1)
CONTAINER 2 *(-120-8-16+56) $(-1)
NOSPEC 0 mem->num_scratch_pages
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 mem->num_scratch_pages 1-8388608[c]
NO_OVERFLOW_SIMPLE 0 mem->num_scratch_pages