Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/user_namespace.c map_write() -> mappings_overlap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | new_map | 577916839718649856 |
| PARAM_VALUE | 0 | new_map->nr_extents | 0-2 |
| PARAM_VALUE | 1 | extent | 8277939543667355648 |
| PARAM_VALUE | 1 | extent->first | 0-4294967294 |
| PARAM_VALUE | 1 | extent->lower_first | 0-4294967294 |
| MEM_ZERO | 0 | new_map | |
| USER_DATA | 1 | extent->count | 0-u32max |
| USER_DATA | 1 | extent->first | 0-s32max[c] |
| USER_DATA | 1 | extent->lower_first | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 1 | extent->count | |
| NO_OVERFLOW_SIMPLE | 1 | extent->first | |
| NO_OVERFLOW_SIMPLE | 1 | extent->lower_first | |
| LOCK2 | global &userns_state_mutex |