Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/space-info.c btrfs_try_granting_tickets() -> remove_ticket()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info->dev_replace.rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 space_info->fs_info->dev_replace.rwsem.first_waiter->type 0-1
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ticket 4096-ptr_max
PARAM_VALUE 2 error 0
CAPPED_DATA 0 space_info 1
CAPPED_DATA 0 &space_info->priority_tickets 1
DATA_SOURCE 0 space_info $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 space_info->bytes_may_use
NO_OVERFLOW_SIMPLE 0 space_info->bytes_readonly
NO_OVERFLOW_SIMPLE 0 space_info->bytes_reserved
NO_OVERFLOW_SIMPLE 0 space_info->bytes_zone_unusable
LOCK2 0 &space_info->lock
HALF_LOCKED2 &block_rsv->lock
HALF_LOCKED2 &space_info->groups_sem
TYPE_LOCK (struct btrfs_space_info)->lock

fs/btrfs/space-info.c maybe_fail_all_tickets() -> remove_ticket()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info 4096-ptr_max
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ticket 4096-ptr_max
PARAM_VALUE 2 error s32min-(-1),1-s32max
CAPPED_DATA 0 space_info 1
CAPPED_DATA 0 space_info->tickets_id 1
CAPPED_DATA 0 &space_info->tickets 1
DATA_SOURCE 0 space_info $0
PARAM_COMPARE 0 &space_info->tickets != $0->tickets.next
PREEMPT_ADD
NOCHECK_CALL
LOCK2 0 &space_info->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct btrfs_space_info)->lock

fs/btrfs/space-info.c maybe_fail_all_tickets() -> remove_ticket()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info 4096-ptr_max
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ticket 4096-ptr_max
PARAM_VALUE 2 error (-28)
CAPPED_DATA 0 space_info 1
CAPPED_DATA 0 space_info->tickets_id 1
CAPPED_DATA 0 &space_info->tickets 1
DATA_SOURCE 0 space_info $0
PARAM_COMPARE 0 &space_info->tickets != $0->tickets.next
PREEMPT_ADD
NOCHECK_CALL
LOCK2 0 &space_info->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct btrfs_space_info)->lock

fs/btrfs/space-info.c priority_reclaim_data_space() -> remove_ticket()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->full 1
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->priority_tickets.prev->next 643370198843097104
PARAM_VALUE 0 space_info->priority_tickets.prev->next->next 4096-ptr_max
PARAM_VALUE 1 ticket 643370198843097088
PARAM_VALUE 1 ticket->bytes 1-u64max
PARAM_VALUE 1 ticket->error 0
PARAM_VALUE 1 ticket->list.next 4096-ptr_max
PARAM_VALUE 1 ticket->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ticket->wait.head.next 4096-ptr_max
PARAM_VALUE 1 ticket->wait.head.prev 4096-ptr_max
PARAM_VALUE 2 error (-28)
DATA_SOURCE 0 space_info $0
DATA_SOURCE 1 ticket $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 ticket->bytes 1-u64max[c]
LOCK2 0 &space_info->lock
TYPE_LOCK (struct btrfs_space_info)->lock

fs/btrfs/space-info.c priority_reclaim_metadata_space() -> remove_ticket()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info->balance_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info->fs_devices->per_profile_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->priority_tickets.prev->next 643370198843097104
PARAM_VALUE 0 space_info->priority_tickets.prev->next->next 4096-ptr_max
PARAM_VALUE 1 ticket 643370198843097088
PARAM_VALUE 1 ticket->bytes 1-u64max
PARAM_VALUE 1 ticket->error 0
PARAM_VALUE 1 ticket->list.next 4096-ptr_max
PARAM_VALUE 1 ticket->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ticket->wait.head.next 4096-ptr_max
PARAM_VALUE 1 ticket->wait.head.prev 4096-ptr_max
PARAM_VALUE 2 error s32min-(-1),1-s32max
DATA_SOURCE 0 space_info $0
DATA_SOURCE 1 ticket $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 ticket->bytes 1-u64max[c]
LOCK2 0 &space_info->lock
TYPE_LOCK (struct btrfs_space_info)->lock

fs/btrfs/space-info.c priority_reclaim_metadata_space() -> remove_ticket()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info->balance_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->fs_info->fs_devices 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info->fs_devices->per_profile_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->priority_tickets.prev->next 643370198843097104
PARAM_VALUE 0 space_info->priority_tickets.prev->next->next 4096-ptr_max
PARAM_VALUE 1 ticket 643370198843097088
PARAM_VALUE 1 ticket->bytes 1-u64max
PARAM_VALUE 1 ticket->error 0
PARAM_VALUE 1 ticket->list.next 4096-ptr_max
PARAM_VALUE 1 ticket->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ticket->wait.head.next 4096-ptr_max
PARAM_VALUE 1 ticket->wait.head.prev 4096-ptr_max
PARAM_VALUE 2 error (-28)
DATA_SOURCE 0 space_info $0
DATA_SOURCE 1 ticket $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 ticket->bytes 1-u64max[c]
LOCK2 0 &space_info->lock
TYPE_LOCK (struct btrfs_space_info)->lock

fs/btrfs/space-info.c steal_from_global_rsv() -> remove_ticket()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->fs_info->global_block_rsv.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ticket 4096-ptr_max
PARAM_VALUE 1 ticket->steal 1
PARAM_VALUE 2 error 0
CAPPED_DATA 0 space_info 1
DATA_SOURCE 0 space_info $0
DATA_SOURCE 1 ticket $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 ticket->bytes 1-u64max[c]
NO_OVERFLOW_SIMPLE 0 space_info->bytes_may_use
LOCK2 0 &space_info->lock
TYPE_LOCK (struct btrfs_space_info)->lock

fs/btrfs/space-info.c wait_reserve_ticket() -> remove_ticket()

Type Parameter Key Value
PARAM_VALUE 0 space_info 4096-ptr_max
PARAM_VALUE 0 space_info->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 space_info->priority_tickets.prev 643370198843097104
PARAM_VALUE 0 space_info->priority_tickets.prev->next 643370198843097104
PARAM_VALUE 0 space_info->priority_tickets.prev->next->next 4096-ptr_max
PARAM_VALUE 1 ticket 643370198843097088
PARAM_VALUE 1 ticket->bytes 1-u64max
PARAM_VALUE 1 ticket->error 0
PARAM_VALUE 1 ticket->list.next 4096-ptr_max
PARAM_VALUE 1 ticket->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ticket->wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 error (-4)
DATA_SOURCE 0 space_info $0
DATA_SOURCE 1 ticket $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 ticket->bytes 1-u64max[c]
LOCK2 0 &space_info->lock
TYPE_LOCK (struct btrfs_space_info)->lock