Defined in 2 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/userfaultfd.c move_pages() -> move_splits_huge_pmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | src_addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | src_end | 1-u64max |
| CAPPED_DATA | 1 | src_addr | 1 |
| CAPPED_DATA | 1 | src_addr | 1 |
| CAPPED_DATA | 2 | src_end | 1 |
| NOSPEC | 0 | dst_addr | |
| NOSPEC | 1 | src_addr | |
| USER_DATA | 0 | dst_addr | 0-18446744073709551614[c] |
| USER_DATA | 1 | src_addr | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | dst_addr | |
| NO_OVERFLOW_SIMPLE | 1 | src_addr | |
| UNITS | 0 | dst_addr | unit_byte |
| UNITS | 1 | src_addr | unit_byte |
| UNITS | 2 | src_end | unit_byte |
| LOCK2 | &ctx->map_changing_lock | ||
| TYPE_LOCK | (struct userfaultfd_ctx)->map_changing_lock |