Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/test_hmm.c dmirror_exclusive() -> dmirror_bounce_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bounce | 4346101643010330624 |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | size | 0,4096-18446744073709547520 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| BIT_INFO | 2 | size | 0x0,0xfffffffffffff000 |
| BIT_INFO | 2 | size | 0x0,0xfffffffffffff000 |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| USER_DATA | 1 | addr | 0-18446744073709551614[c] |
| USER_DATA | 2 | size | 0,4096-18446744073709547520 |
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |
lib/test_hmm.c dmirror_migrate_to_device() -> dmirror_bounce_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bounce | 6158056166249160704 |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | size | 0,4096-18446744073709547520 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| BIT_INFO | 2 | size | 0x0,0xfffffffffffff000 |
| BIT_INFO | 2 | size | 0x0,0xfffffffffffff000 |
| NOSPEC | 1 | addr | |
| NOSPEC | 1 | addr | |
| USER_DATA | 1 | addr | 0-18446744073709551614[c] |
| USER_DATA | 2 | size | 0,4096-18446744073709547520 |
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |
lib/test_hmm.c dmirror_read() -> dmirror_bounce_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bounce | 8936923392682745856 |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | size | 0,4096-18446744073709547520 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| BIT_INFO | 2 | size | 0x0,0xfffffffffffff000 |
| BIT_INFO | 2 | size | 0x0,0xfffffffffffff000 |
| USER_DATA | 1 | addr | 0-18446744073709551614 |
| USER_DATA | 2 | size | 0,4096-18446744073709547520 |
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |
lib/test_hmm.c dmirror_read_unlocked() -> dmirror_bounce_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bounce | 3700803717768028160 |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | size | 0,4096-18446744073709547520 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| BIT_INFO | 2 | size | 0x0,0xfffffffffffff000 |
| BIT_INFO | 2 | size | 0x0,0xfffffffffffff000 |
| USER_DATA | 1 | addr | 0-18446744073709551614 |
| USER_DATA | 2 | size | 0,4096-18446744073709547520 |
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |
lib/test_hmm.c dmirror_write() -> dmirror_bounce_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bounce | 7175698120464023552 |
| PARAM_VALUE | 1 | addr | 0-18446744073709551614 |
| PARAM_VALUE | 2 | size | 0,4096-18446744073709547520 |
| CAPPED_DATA | 1 | addr | 1 |
| CAPPED_DATA | 1 | addr | 1 |
| BIT_INFO | 2 | size | 0x0,0xfffffffffffff000 |
| BIT_INFO | 2 | size | 0x0,0xfffffffffffff000 |
| USER_DATA | 1 | addr | 0-18446744073709551614 |
| USER_DATA | 2 | size | 0,4096-18446744073709547520 |
| UNITS | 1 | addr | unit_byte |
| UNITS | 2 | size | unit_byte |