Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/grant-table.c gnttab_free_grant_reference_seq() -> put_free_entry_locked()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ref 0-1048640
LOCK2 flags
LOCK2 global &gnttab_list_lock

drivers/xen/grant-table.c gnttab_free_grant_references() -> put_free_entry_locked()

Type Parameter Key Value
PARAM_VALUE 0 ref 0-4294967294
DATA_SOURCE 0 ref $0 [m]
FUZZY_MAX 0 ref 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 global &gnttab_list_lock
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &rinfo->ring_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &xenwatch_mutex

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

Type Parameter Key Value
DATA_SOURCE 0 ref $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 global &gnttab_list_lock
HALF_LOCKED2 global &gref_mutex