Defined in 3 files as a function:
- arch/sparc/kernel/leon_smp.c, line 62 (as a function)
- include/linux/min_heap.h, line 180 (as a function)
- lib/sort.c, line 137 (as a function)
Referenced in 3 files:
Smatch caller information:
lib/min_heap.c __min_heap_del_inline() -> do_swap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| PARAM_VALUE | 3 | swap_func | 0-2 |
| DATA_SOURCE | 2 | size | $1 |
| DATA_SOURCE | 4 | priv | $4 |
| NOCHECK_CALL |
lib/min_heap.c __min_heap_sift_down_inline() -> do_swap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| PARAM_VALUE | 3 | swap_func | 0-2 |
| DATA_SOURCE | 2 | size | $2 |
| DATA_SOURCE | 4 | priv | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | a | unit_byte |
| UNITS | 1 | b | unit_byte |
| UNITS | 2 | size | unit_byte |
lib/min_heap.c __min_heap_sift_up_inline() -> do_swap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| PARAM_VALUE | 3 | swap_func | 0-2 |
| DATA_SOURCE | 2 | size | $1 |
| DATA_SOURCE | 4 | priv | $4 |
| NOCHECK_CALL |
lib/tests/min_heap_kunit.c __min_heap_del_inline() -> do_swap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 4 |
| PARAM_VALUE | 3 | swap_func | 0-2 |
| PARAM_VALUE | 4 | priv | 0 |
| DATA_SOURCE | 2 | size | $1 |
| DATA_SOURCE | 4 | priv | $4 |
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
lib/tests/min_heap_kunit.c __min_heap_sift_down_inline() -> do_swap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 4 |
| PARAM_VALUE | 3 | swap_func | 0-2 |
| PARAM_VALUE | 4 | priv | 0 |
| DATA_SOURCE | 2 | size | $2 |
| DATA_SOURCE | 4 | priv | $4 |
| NOCHECK_CALL | |||
| UNITS | 0 | a | unit_byte |
| UNITS | 1 | b | unit_byte |
| UNITS | 2 | size | unit_byte |
lib/tests/min_heap_kunit.c __min_heap_sift_up_inline() -> do_swap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 4 |
| PARAM_VALUE | 3 | swap_func | 0-2 |
| PARAM_VALUE | 4 | priv | 0 |
| DATA_SOURCE | 2 | size | $1 |
| DATA_SOURCE | 4 | priv | $4 |
| NOCHECK_CALL | |||
| UNITS | 2 | size | unit_byte |
kernel/events/core.c __min_heap_sift_down_inline() -> do_swap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| PARAM_VALUE | 2 | size | 8 |
| PARAM_VALUE | 3 | swap_func | 0 |
| PARAM_VALUE | 4 | priv | 0 |
| DATA_SOURCE | 2 | size | $2 |
| DATA_SOURCE | 4 | priv | $4 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | a | unit_byte |
| UNITS | 1 | b | unit_byte |
| UNITS | 2 | size | unit_byte |
| HALF_LOCKED2 | &cpuctx->ctx.lock |
lib/sort.c __sort_r() -> do_swap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| BUF_SIZE | 0 | a | (-1)-s32max |
| BUF_SIZE | 0 | a | (-1)-s32max |
| BUF_SIZE | 4 | priv | (-1),16,80-s32max |
| BUF_SIZE | 4 | priv | (-1),16,80-s32max |
| DATA_SOURCE | 0 | a | $0 |
| DATA_SOURCE | 2 | size | $2 |
| DATA_SOURCE | 3 | swap_func | $4 [m] |
| DATA_SOURCE | 4 | priv | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | *a | (-4611686018427387904)-s32max[u] |
| UNITS | 0 | a | unit_byte |
| UNITS | 1 | b | unit_byte |
| UNITS | 2 | size | unit_byte |
| USER_PTR | 0 | a | |
| USER_PTR | 1 | b |
lib/sort.c __sort_r() -> do_swap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| BUF_SIZE | 4 | priv | (-1),16,80-s32max |
| BUF_SIZE | 4 | priv | (-1),16,80-s32max |
| DATA_SOURCE | 2 | size | $2 |
| DATA_SOURCE | 3 | swap_func | $4 [m] |
| DATA_SOURCE | 4 | priv | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | a | unit_byte |
| UNITS | 1 | b | unit_byte |
| UNITS | 2 | size | unit_byte |
| USER_PTR | 0 | a | |
| USER_PTR | 1 | b |
lib/sort.c __sort_r() -> do_swap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| BUF_SIZE | 4 | priv | (-1),16,80-s32max |
| BUF_SIZE | 4 | priv | (-1),16,80-s32max |
| DATA_SOURCE | 2 | size | $2 |
| DATA_SOURCE | 3 | swap_func | $4 [m] |
| DATA_SOURCE | 4 | priv | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | a | unit_byte |
| UNITS | 1 | b | unit_byte |
| UNITS | 2 | size | unit_byte |
| USER_PTR | 0 | a | |
| USER_PTR | 1 | b |
lib/sort.c __sort_r() -> do_swap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| BUF_SIZE | 0 | a | (-1)-s32max |
| BUF_SIZE | 0 | a | (-1)-s32max |
| BUF_SIZE | 4 | priv | (-1),16,80-s32max |
| BUF_SIZE | 4 | priv | (-1),16,80-s32max |
| DATA_SOURCE | 0 | a | $0 |
| DATA_SOURCE | 2 | size | $2 |
| DATA_SOURCE | 3 | swap_func | $4 [m] |
| DATA_SOURCE | 4 | priv | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | *a | (-4611686018427387904)-s32max[u] |
| UNITS | 0 | a | unit_byte |
| UNITS | 1 | b | unit_byte |
| UNITS | 2 | size | unit_byte |
| USER_PTR | 0 | a | |
| USER_PTR | 1 | b |
lib/sort.c __sort_r() -> do_swap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| BUF_SIZE | 0 | a | (-1)-s32max |
| BUF_SIZE | 0 | a | (-1)-s32max |
| BUF_SIZE | 4 | priv | (-1),16,80-s32max |
| BUF_SIZE | 4 | priv | (-1),16,80-s32max |
| DATA_SOURCE | 0 | a | $0 |
| DATA_SOURCE | 2 | size | $2 |
| DATA_SOURCE | 3 | swap_func | $4 [m] |
| DATA_SOURCE | 4 | priv | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | *a | (-4611686018427387904)-s32max[u] |
| USER_DATA | 0 | **a | 0-255 |
| UNITS | 0 | a | unit_byte |
| UNITS | 1 | b | unit_byte |
| UNITS | 2 | size | unit_byte |
| USER_PTR | 0 | a | |
| USER_PTR | 1 | b |