Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/ksm.c stable_node_chain_remove_range() -> stable_node_dup_remove_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stable_node | 4096-ptr_max |
| PARAM_VALUE | 0 | stable_node->head | 0-5915860868013473799,5915860868013473801-u64max |
| PARAM_VALUE | 0 | stable_node->rmap_hlist_len | s32min-(-1025),(-1023)-s32max |
| DATA_SOURCE | 0 | stable_node | $0 |
| DATA_SOURCE | 1 | start_pfn | $1 |
| DATA_SOURCE | 2 | end_pfn | $2 |
| UNITS | 0 | stable_node | unit_byte |
mm/ksm.c stable_node_chain_remove_range() -> stable_node_dup_remove_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stable_node | 4096-ptr_max |
| PARAM_VALUE | 0 | stable_node->head | 4096-ptr_max |
| DATA_SOURCE | 1 | start_pfn | $1 |
| DATA_SOURCE | 2 | end_pfn | $2 |
| NOCHECK_CALL |