Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
mm/numa_memblks.c numa_cleanup_meminfo() -> numa_remove_memblk_from()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idx | 0-s32max |
| PARAM_VALUE | 1 | mi | 3524851422106120192,5342614512630685696 |
| PARAM_VALUE | 1 | mi->nr_blks | (-2147483647)-s32max |
| DATA_SOURCE | 1 | mi | $0 |
| MEM_ZERO | 1 | mi | |
| NOCHECK_CALL | |||
| LOCK2 | irq |
mm/numa_memblks.c numa_cleanup_meminfo() -> numa_remove_memblk_from()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idx | s32min-2147483646 |
| PARAM_VALUE | 1 | mi | 3524851422106120192,5342614512630685696 |
| PARAM_VALUE | 1 | mi->nr_blks | 1-s32max |
| CAPPED_DATA | 1 | mi->nr_blks | 1 |
| DATA_SOURCE | 1 | mi | $0 |
| MEM_ZERO | 1 | mi | |
| NOCHECK_CALL | |||
| LOCK2 | irq |
mm/numa_memblks.c numa_move_tail_memblk() -> numa_remove_memblk_from()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idx | 0-s32max |
| PARAM_VALUE | 1 | mi | 3524851422106120192,5342614512630685696 |
| PARAM_VALUE | 1 | mi->nr_blks | (-2147483647)-s32max |
| DATA_SOURCE | 0 | idx | $1 |
| DATA_SOURCE | 1 | mi | $2 |
| MEM_ZERO | 1 | mi | |
| NOCHECK_CALL | |||
| LOCK2 | irq |
mm/numa_emulation.c emu_setup_memblk() -> numa_remove_memblk_from()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idx | 0-s32max |
| PARAM_VALUE | 1 | mi | 6776015499953713152 |
| PARAM_VALUE | 1 | mi->blk | 4096-ptr_max |
| PARAM_VALUE | 1 | mi->nr_blks | 0-s32max |
| CAPPED_DATA | 0 | idx | 1 |
| CAPPED_DATA | 1 | mi->nr_blks | 1 |
| DATA_SOURCE | 0 | idx | $3 |
| DATA_SOURCE | 1 | mi | $1 |
| NOCHECK_CALL | |||
| LOCK2 | irq |