Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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

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

Type Parameter Key Value
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 gnttab_request_free_callback() -> check_free_callbacks()

Type Parameter Key Value
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &rinfo->ring_lock
LOCK2 flags
LOCK2 flags
LOCK2 global &gnttab_list_lock
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct blkfront_ring_info)->ring_lock

drivers/xen/grant-table.c grow_gnttab_list() -> check_free_callbacks()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 global &gnttab_list_lock

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

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