Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/../../../virt/kvm/kvm_main.c __gfn_to_hva_many() -> memslot_is_readonly()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 4096-ptr_max |
| DATA_SOURCE | 0 | slot | $0 |
| BIT_INFO | 0 | slot->flags | 0x0,0xfffeffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
arch/x86/kvm/../../../virt/kvm/kvm_main.c gfn_to_hva_memslot_prot() -> memslot_is_readonly()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 0,4096-ptr_max |
| DATA_SOURCE | 0 | slot | $0 |
| RX_PATH |
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_follow_pfn() -> memslot_is_readonly()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 0,4096-ptr_max |