Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/mmu/mmu.c __kvm_mmu_get_shadow_page() -> kvm_page_table_hashfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | gfn | $3 |
| NOSPEC | 0 | gfn | |
| NOSPEC | 0 | gfn | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | gfn | 0-4503599627370495[c] |
| UNITS | 0 | gfn | unit_page |
| HALF_LOCKED2 | &kvm->mmu_lock | ||
| HALF_LOCKED2 | &kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->kvm->mmu_lock |
arch/x86/kvm/mmu/mmu.c kvm_get_mmu_page_hash() -> kvm_page_table_hashfn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | gfn | $1 |
| NOSPEC | 0 | gfn | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | gfn | 0-9227875638629630013 |
| UNITS | 0 | gfn | unit_page |
| HALF_LOCKED2 | &kvm->mmu_lock |