Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/sbitmap.c __sbitmap_queue_get_batch() -> update_alloc_hint_after_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->alloc_hint | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->round_robin | 0 |
| BUF_SIZE | 0 | sb | 32 |
| CAPPED_DATA | 1 | depth | 1 |
| DATA_SOURCE | 2 | hint | r update_alloc_hint_before_get |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/sbitmap.c sbitmap_get() -> update_alloc_hint_after_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->alloc_hint | 4096-ptr_max |
| CAPPED_DATA | 1 | depth | 1 |
| CAPPED_DATA | 2 | hint | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 2 | hint | r update_alloc_hint_before_get |
| DATA_SOURCE | 3 | nr | r __sbitmap_get |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | sb->depth | 0-u32max |
| HOST_DATA | 0 | sb->map_nr | 0-u32max |
| HOST_DATA | 0 | sb->round_robin | 0-1 |
| HOST_DATA | 0 | sb->shift | 0-u32max |
| HOST_DATA | 1 | depth | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | sb->depth | |
| NO_OVERFLOW_SIMPLE | 1 | depth | |
| HALF_LOCKED2 | &fnic->fnic_lock | ||
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | flags |
lib/sbitmap.c sbitmap_get_shallow() -> update_alloc_hint_after_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sb | 4096-ptr_max |
| PARAM_VALUE | 0 | sb->alloc_hint | 4096-ptr_max |
| CAPPED_DATA | 1 | depth | 1 |
| CAPPED_DATA | 2 | hint | 1 |
| DATA_SOURCE | 0 | sb | $0 |
| DATA_SOURCE | 2 | hint | r update_alloc_hint_before_get |
| DATA_SOURCE | 3 | nr | r __sbitmap_get_shallow |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |