OrgACRN
/
acrn-hypervisor
mirror of https://github.com/projectacrn/acrn-hypervisor.git
1
0
Fork 0
Code Issues Releases Wiki Activity

DM: Update the vcpu id type as uint16_t for vm_create_vcpu 

Update the vcpu id type as uint16_t for vm_create_vcpu, this
keeps alignment with the updates for the structure acrn_create_vcpu
used by hcall_create_vcpu in the hypervisor.

In the device model, the caller is responsible for vcpu id type
conversion; vcpu id type is uint16_t for external interface in the
current implement.

Signed-off-by: Xiangyang Wu <xiangyang.wu@intel.com>
Acked-by: Eddie Dong <eddie.dong@intel.com>
This commit is contained in:
Xiangyang Wu 2018-06-25 14:43:35 +08:00 committed by Xie, nanlin
parent 392542310f
commit 6192773a86
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
devicemodel/core/main.c
View File

@ -259,7 +259,7 @@ add_cpu(struct vmctx *ctx, int guest_ncpus)
int error; int error;
for (i = 0; i < guest_ncpus; i++) { for (i = 0; i < guest_ncpus; i++) {
error = vm_create_vcpu(ctx, i); error = vm_create_vcpu(ctx, (uint16_t)i);
if (error != 0) { if (error != 0) {
fprintf(stderr, "ERROR: could not create VCPU %d\n", i); fprintf(stderr, "ERROR: could not create VCPU %d\n", i);
return error; return error;

2
devicemodel/core/vmmapi.c
View File

@ -707,7 +707,7 @@ vm_reset_ptdev_intx_info(struct vmctx *ctx, int virt_pin, bool pic_pin)
} }
int int
vm_create_vcpu(struct vmctx *ctx, int vcpu_id) vm_create_vcpu(struct vmctx *ctx, uint16_t vcpu_id)
{ {
struct acrn_create_vcpu cv; struct acrn_create_vcpu cv;
int error; int error;

2
devicemodel/include/vmmapi.h
View File

@ -156,7 +156,7 @@ int vm_set_ptdev_intx_info(struct vmctx *ctx, uint16_t virt_bdf,
uint16_t phys_bdf, int virt_pin, int phys_pin, bool pic_pin); uint16_t phys_bdf, int virt_pin, int phys_pin, bool pic_pin);
int vm_reset_ptdev_intx_info(struct vmctx *ctx, int virt_pin, bool pic_pin); int vm_reset_ptdev_intx_info(struct vmctx *ctx, int virt_pin, bool pic_pin);
int vm_create_vcpu(struct vmctx *ctx, int vcpu_id); int vm_create_vcpu(struct vmctx *ctx, uint16_t vcpu_id);
int vm_get_cpu_state(struct vmctx *ctx, void *state_buf); int vm_get_cpu_state(struct vmctx *ctx, void *state_buf);