Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/btrfs/space-info.c reserve_bytes() -> handle_reserve_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->error 0
PARAM_VALUE 1 ticket->list.next 4096-ptr_max
PARAM_VALUE 1 ticket->wait.head.next 4096-ptr_max
PARAM_VALUE 1 ticket->wait.head.prev 4096-ptr_max
PARAM_VALUE 4 flush 1-7
CAPPED_DATA 0 &space_info->priority_tickets 1
DATA_SOURCE 0 space_info $0
DATA_SOURCE 3 orig_bytes $1
DATA_SOURCE 4 flush $2
FUZZY_MAX 4 flush 7
HARD_MAX 4 flush 7
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ticket->bytes 0-u64max[c]
USER_DATA 3 orig_bytes 0-u64max[c]
UNITS 3 orig_bytes unit_byte