Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/../../../virt/kvm/kvm_main.c hva_to_pfn_fast() -> kvm_resolve_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kfp | 1054420603088797696,3654242428615999488,7497628275271237632,7732656277830705152 |
| PARAM_VALUE | 0 | kfp->map_writable | 0,349463239825985536,7368748645416689728 |
| PARAM_VALUE | 0 | kfp->refcounted_page | 4096-ptr_max |
| PARAM_VALUE | 2 | map | 0 |
| PARAM_VALUE | 3 | writable | 1 |
| BUF_SIZE | 0 | kfp->refcounted_page | (-1),8 |
| DATA_SOURCE | 0 | kfp | $0 |
| BIT_INFO | 0 | kfp->flags | 0x0,0x811 |
| NOSPEC | 0 | kfp->gfn | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | kfp->gfn | 0-4503599627370495[c] |
| USER_DATA | 0 | kfp->hva | 0-u64max[c] |
| HALF_LOCKED2 | _T->lock |
arch/x86/kvm/../../../virt/kvm/kvm_main.c hva_to_pfn_remapped() -> kvm_resolve_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kfp | 1054420603088797696,3654242428615999488,7497628275271237632,7732656277830705152 |
| PARAM_VALUE | 0 | kfp->map_writable | 0,349463239825985536,7368748645416689728 |
| PARAM_VALUE | 0 | kfp->refcounted_page | 4096-ptr_max |
| PARAM_VALUE | 1 | page | 0 |
| PARAM_VALUE | 2 | map | 7587615763328888832 |
| PARAM_VALUE | 2 | map->pfn | 0-1099511889918 |
| PARAM_VALUE | 3 | writable | 0 |
| BUF_SIZE | 0 | kfp->refcounted_page | (-1),8 |
| DATA_SOURCE | 0 | kfp | $1 |
| BIT_INFO | 0 | kfp->flags | 0x0,0x811 |
| NOSPEC | 0 | kfp->gfn | |
| NOSPEC | 0 | kfp->hva | |
| NOSPEC | 2 | map->address | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | kfp->gfn | 0-4503599627370495[c] |
| USER_DATA | 0 | kfp->hva | 0[c] |
| USER_DATA | 2 | map->address | 0[c] |
| USER_DATA | 2 | map->pfn | 0-1099511889918[c] |
| LOCK2 | &args.lock | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct follow_pfnmap_args)->lock |
arch/x86/kvm/../../../virt/kvm/kvm_main.c hva_to_pfn_slow() -> kvm_resolve_pfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kfp | 1054420603088797696,3654242428615999488,7497628275271237632,7732656277830705152 |
| PARAM_VALUE | 0 | kfp->map_writable | 0,349463239825985536,7368748645416689728 |
| PARAM_VALUE | 0 | kfp->refcounted_page | 4096-ptr_max |
| PARAM_VALUE | 2 | map | 0 |
| BUF_SIZE | 0 | kfp->refcounted_page | (-1),8 |
| DATA_SOURCE | 0 | kfp | $0 |
| BIT_INFO | 0 | kfp->flags | 0x0,0x811 |
| NOSPEC | 0 | kfp->gfn | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | kfp->gfn | 0-4503599627370495[c] |
| USER_DATA | 0 | kfp->hva | 0-u64max[c] |
| HALF_LOCKED2 | _T->lock |