Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/virt/acrn/vm.c hcall_inject_msi() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483683 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &vm->irqfds_lock |
drivers/virt/acrn/hsm.c hcall_assign_mmiodev() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483735 |
| PARAM_VALUE | 1 | param1 | 0-65534 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
drivers/virt/acrn/hsm.c hcall_assign_pcidev() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483733 |
| PARAM_VALUE | 1 | param1 | 0-65534 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
drivers/virt/acrn/hsm.c hcall_create_vdev() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483737 |
| PARAM_VALUE | 1 | param1 | 0-65534 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
drivers/virt/acrn/hsm.c hcall_deassign_mmiodev() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483736 |
| PARAM_VALUE | 1 | param1 | 0-65534 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
drivers/virt/acrn/hsm.c hcall_deassign_pcidev() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483734 |
| PARAM_VALUE | 1 | param1 | 0-65534 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
drivers/virt/acrn/hsm.c hcall_destroy_vdev() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483738 |
| PARAM_VALUE | 1 | param1 | 0-65534 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
drivers/virt/acrn/hsm.c hcall_get_cpu_state() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483776 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
| USER_DATA | 1 | param1 | 0-u64max |
drivers/virt/acrn/hsm.c hcall_inject_msi() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483683 |
| PARAM_VALUE | 1 | param1 | 0-65534 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
drivers/virt/acrn/hsm.c hcall_reset_ptdev_intr() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483732 |
| PARAM_VALUE | 1 | param1 | 0-65534 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
drivers/virt/acrn/hsm.c hcall_set_irqline() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483685 |
| PARAM_VALUE | 1 | param1 | 0-65534 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
| USER_DATA | 2 | param2 | 0-u64max |
drivers/virt/acrn/hsm.c hcall_set_ptdev_intr() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483731 |
| PARAM_VALUE | 1 | param1 | 0-65534 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
drivers/virt/acrn/hsm.c hcall_set_vcpu_regs() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483670 |
| PARAM_VALUE | 1 | param1 | 0-65534 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
drivers/virt/acrn/hsm.c hcall_vm_intr_monitor() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483684 |
| PARAM_VALUE | 1 | param1 | 0-65534 |
| PARAM_VALUE | 2 | param2 | 0,4096-18446744073709547520 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
| BIT_INFO | 2 | param2 | 0x0,0xfffffffffffff000 |
| BIT_INFO | 2 | param2 | 0x0,0xfffffffffffff000 |
drivers/virt/acrn/ioreq.c hcall_notify_req_finish() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483697 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
| USER_DATA | 2 | param2 | 0-u16max[c] |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &acrn_vm_list_lock |
drivers/virt/acrn/ioreq.c hcall_set_ioreq_buffer() -> acrn_hypercall2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hcall_id | 2147483696 |
| PARAM_VALUE | 1 | param1 | 0-65534 |
| CAPPED_DATA | 2 | param2 | 1 |
| CAPPED_DATA | 2 | param2 | 1 |
| DATA_SOURCE | 1 | param1 | $0 |
| DATA_SOURCE | 2 | param2 | $1 |
| USER_DATA | 1 | param1 | 0-65534 |