Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/lkdtm/usercopy.c lkdtm_USERCOPY_FOLIO() -> do_usercopy_page_span()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | name | 6791098739834683392 |
| PARAM_VALUE | 1 | kaddr | 18379471554275708928,18446612682070036480 |
| BUF_SIZE | 0 | name | 6 |
| STR_LEN | 0 | name | 5 |
| TERMINATED | 0 | name | 1 |
| NOCHECK_CALL | |||
| UNITS | 1 | kaddr | unit_byte |
drivers/misc/lkdtm/usercopy.c lkdtm_USERCOPY_VMALLOC() -> do_usercopy_page_span()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | name | 1516204781712408576 |
| PARAM_VALUE | 1 | kaddr | 1-u64max |
| BUF_SIZE | 0 | name | 8 |
| BUF_SIZE | 1 | kaddr | 4096 |
| BUF_SIZE | 1 | kaddr | 4096 |
| DATA_SOURCE | 1 | kaddr | r vmalloc_noprof |
| STR_LEN | 0 | name | 7 |
| TERMINATED | 0 | name | 1 |
| NOCHECK_CALL |