Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/grant-table.c gnttab_alloc_grant_reference_seq() -> get_free_entries()

Type Parameter Key Value
PARAM_VALUE 0 count 1
RX_PATH
TASK_NOT_RUNNING

drivers/xen/grant-table.c gnttab_alloc_grant_references() -> get_free_entries()

Type Parameter Key Value
DATA_SOURCE 0 count $0
NOSPEC 0 count
NOSPEC 0 count
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 count 0-u16max[c]
NO_OVERFLOW_SIMPLE 0 count
UNITS 0 count unit_array_size
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &rinfo->ring_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &xenwatch_mutex
HALF_LOCKED2 shost->host_lock

drivers/xen/grant-table.c gnttab_grant_foreign_access() -> get_free_entries()

Type Parameter Key Value
PARAM_VALUE 0 count 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &xenwatch_mutex