Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/ocfs2/reservations.c __ocfs2_resv_find_window() -> ocfs2_resv_insert()

Type Parameter Key Value
PARAM_VALUE 0 resmap 4096-ptr_max
PARAM_VALUE 0 resmap->m_osb 4096-ptr_max
PARAM_VALUE 0 resmap->m_osb->osb_resv_level 1-u32max
PARAM_VALUE 0 resmap->m_reservations.rb_node 0
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->r_len 1-s32max
BUF_SIZE 1 new (-1),64
BUF_SIZE 1 new (-1),64
CAPPED_DATA 0 resmap->m_bitmap_len 1
DATA_SOURCE 0 resmap $0
DATA_SOURCE 1 new $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 new->r_len 1-s32max[c]
LOCK2 global &resv_lock
HALF_LOCKED2 &oi->ip_alloc_sem

fs/ocfs2/reservations.c __ocfs2_resv_find_window() -> ocfs2_resv_insert()

Type Parameter Key Value
PARAM_VALUE 0 resmap 4096-ptr_max
PARAM_VALUE 0 resmap->m_osb 4096-ptr_max
PARAM_VALUE 0 resmap->m_osb->osb_resv_level 1-u32max
PARAM_VALUE 0 resmap->m_reservations.rb_node 1-u64max
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->r_len 1-s32max
BUF_SIZE 1 new (-1),64
BUF_SIZE 1 new (-1),64
CAPPED_DATA 0 resmap->m_bitmap_len 1
CAPPED_DATA 1 new->r_len 1
DATA_SOURCE 0 resmap $0
DATA_SOURCE 1 new $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 new->r_len 1-s32max[c]
LOCK2 global &resv_lock
HALF_LOCKED2 &oi->ip_alloc_sem

fs/ocfs2/reservations.c ocfs2_cannibalize_resv() -> ocfs2_resv_insert()

Type Parameter Key Value
PARAM_VALUE 0 resmap 4096-ptr_max
PARAM_VALUE 0 resmap->m_lru.prev 4096-ptr_max
PARAM_VALUE 0 resmap->m_lru.prev->next 4096-ptr_max
PARAM_VALUE 0 resmap->m_lru.prev->next->next 4096-ptr_max
PARAM_VALUE 0 resmap->m_osb 4096-ptr_max
PARAM_VALUE 0 resmap->m_osb->osb_resv_level 1-u32max
PARAM_VALUE 0 resmap->m_reservations.rb_node 1-u64max
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->r_flags 2-u32max
PARAM_VALUE 1 new->r_lru.next->prev 4096-ptr_max
PARAM_VALUE 1 new->r_node.__rb_parent_color 1
PARAM_VALUE 1 new->r_node.rb_left 4096-ptr_max
PARAM_VALUE 1 new->r_node.rb_right 4096-ptr_max
BUF_SIZE 1 new (-1),64
BUF_SIZE 1 new (-1),64
CAPPED_DATA 1 new->r_len 1
DATA_SOURCE 0 resmap $0
DATA_SOURCE 1 new $1
NOSPEC 1 new->r_len
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 new->r_len 0-s32max[c]
LOCK2 global &resv_lock
HALF_LOCKED2 &oi->ip_alloc_sem