Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/hyperv/nested.c hv_do_rep_hypercall() -> hv_do_rep_hypercall_ex()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | code | 176 |
| PARAM_VALUE | 2 | varhead_size | 0 |
| PARAM_VALUE | 3 | rep_start | 0 |
| PARAM_VALUE | 4 | input | 4096-ptr_max |
| PARAM_VALUE | 5 | output | 0 |
| DATA_SOURCE | 0 | code | $0 |
| DATA_SOURCE | 1 | rep_count | $1 |
| DATA_SOURCE | 2 | varhead_size | $2 |
| DATA_SOURCE | 4 | input | $3 |
| DATA_SOURCE | 5 | output | $4 |
| PREEMPT_ADD | |||
| LOCK2 | &kvm_arch->hv_root_tdp_lock | ||
| LOCK2 | flags | ||
| TYPE_LOCK | (struct kvm_arch)->hv_root_tdp_lock |
arch/x86/hyperv/hv_apic.c hv_do_rep_hypercall() -> hv_do_rep_hypercall_ex()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | code | 21 |
| PARAM_VALUE | 1 | rep_count | 0 |
| PARAM_VALUE | 3 | rep_start | 0 |
| PARAM_VALUE | 4 | input | 4096-ptr_max |
| PARAM_VALUE | 5 | output | 0 |
| CAPPED_DATA | 2 | varhead_size | 1 |
| DATA_SOURCE | 0 | code | $0 |
| DATA_SOURCE | 1 | rep_count | $1 |
| DATA_SOURCE | 2 | varhead_size | $2 |
| DATA_SOURCE | 4 | input | $3 |
| DATA_SOURCE | 5 | output | $4 |
| TASK_NOT_RUNNING | |||
| LOCK2 | flags |
drivers/hv/hv_balloon.c hv_do_rep_hypercall() -> hv_do_rep_hypercall_ex()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | code | 32771 |
| PARAM_VALUE | 2 | varhead_size | 0 |
| PARAM_VALUE | 3 | rep_start | 0 |
| PARAM_VALUE | 4 | input | 4096-ptr_max |
| PARAM_VALUE | 5 | output | 0 |
| CAPPED_DATA | 1 | rep_count | 1 |
| DATA_SOURCE | 0 | code | $0 |
| DATA_SOURCE | 1 | rep_count | $1 |
| DATA_SOURCE | 2 | varhead_size | $2 |
| DATA_SOURCE | 4 | input | $3 |
| DATA_SOURCE | 5 | output | $4 |
| NO_OVERFLOW_SIMPLE | 1 | rep_count | |
| LOCK2 | flags | ||
| HALF_LOCKED2 | &pool->lock |
arch/x86/hyperv/irqdomain.c hv_do_rep_hypercall() -> hv_do_rep_hypercall_ex()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | code | 124 |
| PARAM_VALUE | 1 | rep_count | 0 |
| PARAM_VALUE | 3 | rep_start | 0 |
| PARAM_VALUE | 4 | input | 4096-ptr_max |
| CAPPED_DATA | 2 | varhead_size | 1 |
| DATA_SOURCE | 0 | code | $0 |
| DATA_SOURCE | 1 | rep_count | $1 |
| DATA_SOURCE | 2 | varhead_size | $2 |
| DATA_SOURCE | 4 | input | $3 |
| DATA_SOURCE | 5 | output | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | flags | ||
| HALF_LOCKED2 | global &ioapic_lock | ||
| HALF_LOCKED2 | irq |
arch/x86/hyperv/mmu.c hv_do_rep_hypercall() -> hv_do_rep_hypercall_ex()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | code | 3,19-20 |
| PARAM_VALUE | 3 | rep_start | 0 |
| PARAM_VALUE | 4 | input | 4096-ptr_max |
| PARAM_VALUE | 5 | output | 0 |
| CAPPED_DATA | 2 | varhead_size | 1 |
| DATA_SOURCE | 0 | code | $0 |
| DATA_SOURCE | 1 | rep_count | $1 |
| DATA_SOURCE | 2 | varhead_size | $2 |
| DATA_SOURCE | 4 | input | $3 |
| DATA_SOURCE | 5 | output | $4 |
| HARD_MAX | 0 | code | 20 |
| LOCK2 | flags |
arch/x86/hyperv/ivm.c hv_do_rep_hypercall() -> hv_do_rep_hypercall_ex()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | code | 219 |
| PARAM_VALUE | 2 | varhead_size | 0 |
| PARAM_VALUE | 3 | rep_start | 0 |
| PARAM_VALUE | 4 | input | 4096-ptr_max |
| PARAM_VALUE | 5 | output | 0 |
| DATA_SOURCE | 0 | code | $0 |
| DATA_SOURCE | 1 | rep_count | $1 |
| DATA_SOURCE | 2 | varhead_size | $2 |
| DATA_SOURCE | 4 | input | $3 |
| DATA_SOURCE | 5 | output | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | flags | ||
| HALF_LOCKED2 | global &mem_enc_lock | ||
| HALF_LOCKED2 | irq |