Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/grant-table.c gnttab_free_grant_reference() -> put_free_entry()

Type Parameter Key Value
PARAM_VALUE 0 ref 1-u32max
DATA_SOURCE 0 ref $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &gref_mutex

drivers/xen/grant-table.c gnttab_handle_deferred() -> put_free_entry()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/xen/grant-table.c gnttab_try_end_foreign_access() -> put_free_entry()

Type Parameter Key Value
DATA_SOURCE 0 ref $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock