Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/android/binder_alloc.c binder_alloc_clear_buf() -> memset_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 0-4095 |
| PARAM_VALUE | 2 | val | 0 |
| PARAM_VALUE | 3 | len | 1-4096 |
| CAPPED_DATA | 3 | len | 1 |
| CAPPED_DATA | 3 | len | 1 |
| DATA_SOURCE | 0 | page | r binder_alloc_get_page |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | len | 1-4095[c] |
| HALF_LOCKED2 | &alloc->mutex |
drivers/block/zram/zram_drv.c decompress_bdev_page() -> memset_page()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 0 |
| PARAM_VALUE | 2 | val | 0 |
| PARAM_VALUE | 3 | len | 4096 |
| DATA_SOURCE | 0 | page | $1 |
| NOCHECK_CALL | |||
| UNITS | 3 | len | unit_byte |