Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/crypto/virtio/virtio_crypto_akcipher_algs.c virtio_crypto_rsa_do_req() -> __virtio_crypto_akcipher_do_req()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vc_akcipher_req | 4096-ptr_max |
| PARAM_VALUE | 0 | vc_akcipher_req->base.req_data | 1-u64max |
| PARAM_VALUE | 0 | vc_akcipher_req->base.sgs | 0 |
| PARAM_VALUE | 1 | req | 4096-ptr_max |
| PARAM_COMPARE | 0 | vc_akcipher_req | == $1->__ctx |
| PARAM_COMPARE | 1 | req->__ctx | == $0 |