Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/test_hmm.c dmirror_exclusive() -> dmirror_bounce_fini()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bounce | 4346101643010330624 |
| PARAM_VALUE | 0 | bounce->addr | 0-18446744073709551614 |
| PARAM_VALUE | 0 | bounce->ptr | 1-u64max |
| PARAM_VALUE | 0 | bounce->size | 0,4096-18446744073709547520 |
| NOSPEC | 0 | bounce->addr | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | bounce->addr | 0-18446744073709551614[c] |
| USER_DATA | 0 | bounce->size | 0,4096-18446744073709547520[c] |
lib/test_hmm.c dmirror_migrate_to_device() -> dmirror_bounce_fini()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bounce | 6158056166249160704 |
| PARAM_VALUE | 0 | bounce->addr | 0-18446744073709551614 |
| PARAM_VALUE | 0 | bounce->ptr | 1-u64max |
| PARAM_VALUE | 0 | bounce->size | 0,4096-18446744073709547520 |
| NOSPEC | 0 | bounce->addr | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | bounce->addr | 0-18446744073709551614[c] |
| USER_DATA | 0 | bounce->size | 0,4096-18446744073709547520[c] |
lib/test_hmm.c dmirror_read() -> dmirror_bounce_fini()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bounce | 8936923392682745856 |
| PARAM_VALUE | 0 | bounce->addr | 0-18446744073709551614 |
| PARAM_VALUE | 0 | bounce->ptr | 1-u64max |
| PARAM_VALUE | 0 | bounce->size | 0,4096-18446744073709547520 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | bounce->addr | 0-18446744073709551614[c] |
| USER_DATA | 0 | bounce->size | 0,4096-18446744073709547520[c] |
lib/test_hmm.c dmirror_read_unlocked() -> dmirror_bounce_fini()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bounce | 3700803717768028160 |
| PARAM_VALUE | 0 | bounce->addr | 0-18446744073709551614 |
| PARAM_VALUE | 0 | bounce->ptr | 1-u64max |
| PARAM_VALUE | 0 | bounce->size | 0,4096-18446744073709547520 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | bounce->addr | 0-18446744073709551614[c] |
| USER_DATA | 0 | bounce->size | 0,4096-18446744073709547520[c] |
lib/test_hmm.c dmirror_write() -> dmirror_bounce_fini()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bounce | 7175698120464023552 |
| PARAM_VALUE | 0 | bounce->addr | 0-18446744073709551614 |
| PARAM_VALUE | 0 | bounce->ptr | 1-u64max |
| PARAM_VALUE | 0 | bounce->size | 0,4096-18446744073709547520 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | bounce->addr | 0-18446744073709551614[c] |
| USER_DATA | 0 | bounce->size | 0,4096-18446744073709547520[c] |
| USER_PTR | 0 | bounce->ptr |