Lines Matching refs:vcpuid
284 uint32_t vcpuid) in vcpu_find() argument
289 if (vcpup->id == vcpuid) in vcpu_find()
308 static void vm_vcpu_rm(struct kvm_vm *vm, uint32_t vcpuid) in vm_vcpu_rm() argument
310 struct vcpu *vcpu = vcpu_find(vm, vcpuid); in vm_vcpu_rm()
788 void vm_vcpu_add(struct kvm_vm *vm, uint32_t vcpuid, int pgd_memslot, int gdt_memslot) in vm_vcpu_add() argument
793 vcpu = vcpu_find(vm, vcpuid); in vm_vcpu_add()
799 vcpuid, vcpu->id, vcpu->state); in vm_vcpu_add()
804 vcpu->id = vcpuid; in vm_vcpu_add()
805 vcpu->fd = ioctl(vm->fd, KVM_CREATE_VCPU, vcpuid); in vm_vcpu_add()
815 "vcpu id: %u errno: %i", vcpuid, errno); in vm_vcpu_add()
823 vcpu_setup(vm, vcpuid, pgd_memslot, gdt_memslot); in vm_vcpu_add()
1095 struct kvm_run *vcpu_state(struct kvm_vm *vm, uint32_t vcpuid) in vcpu_state() argument
1097 struct vcpu *vcpu = vcpu_find(vm, vcpuid); in vcpu_state()
1098 TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid); in vcpu_state()
1116 void vcpu_run(struct kvm_vm *vm, uint32_t vcpuid) in vcpu_run() argument
1118 int ret = _vcpu_run(vm, vcpuid); in vcpu_run()
1123 int _vcpu_run(struct kvm_vm *vm, uint32_t vcpuid) in _vcpu_run() argument
1125 struct vcpu *vcpu = vcpu_find(vm, vcpuid); in _vcpu_run()
1128 TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid); in _vcpu_run()
1149 void vcpu_set_mp_state(struct kvm_vm *vm, uint32_t vcpuid, in vcpu_set_mp_state() argument
1152 struct vcpu *vcpu = vcpu_find(vm, vcpuid); in vcpu_set_mp_state()
1155 TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid); in vcpu_set_mp_state()
1177 uint32_t vcpuid, struct kvm_regs *regs) in vcpu_regs_get() argument
1179 struct vcpu *vcpu = vcpu_find(vm, vcpuid); in vcpu_regs_get()
1182 TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid); in vcpu_regs_get()
1205 uint32_t vcpuid, struct kvm_regs *regs) in vcpu_regs_set() argument
1207 struct vcpu *vcpu = vcpu_find(vm, vcpuid); in vcpu_regs_set()
1210 TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid); in vcpu_regs_set()
1218 void vcpu_events_get(struct kvm_vm *vm, uint32_t vcpuid, in vcpu_events_get() argument
1221 struct vcpu *vcpu = vcpu_find(vm, vcpuid); in vcpu_events_get()
1224 TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid); in vcpu_events_get()
1232 void vcpu_events_set(struct kvm_vm *vm, uint32_t vcpuid, in vcpu_events_set() argument
1235 struct vcpu *vcpu = vcpu_find(vm, vcpuid); in vcpu_events_set()
1238 TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid); in vcpu_events_set()
1259 uint64_t vcpu_get_msr(struct kvm_vm *vm, uint32_t vcpuid, uint64_t msr_index) in vcpu_get_msr() argument
1261 struct vcpu *vcpu = vcpu_find(vm, vcpuid); in vcpu_get_msr()
1268 TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid); in vcpu_get_msr()
1292 void vcpu_set_msr(struct kvm_vm *vm, uint32_t vcpuid, uint64_t msr_index, in vcpu_set_msr() argument
1295 struct vcpu *vcpu = vcpu_find(vm, vcpuid); in vcpu_set_msr()
1302 TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid); in vcpu_set_msr()
1328 void vcpu_args_set(struct kvm_vm *vm, uint32_t vcpuid, unsigned int num, ...) in vcpu_args_set() argument
1338 vcpu_regs_get(vm, vcpuid, ®s); in vcpu_args_set()
1358 vcpu_regs_set(vm, vcpuid, ®s); in vcpu_args_set()
1377 uint32_t vcpuid, struct kvm_sregs *sregs) in vcpu_sregs_get() argument
1379 struct vcpu *vcpu = vcpu_find(vm, vcpuid); in vcpu_sregs_get()
1382 TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid); in vcpu_sregs_get()
1406 uint32_t vcpuid, struct kvm_sregs *sregs) in vcpu_sregs_set() argument
1408 int ret = _vcpu_sregs_set(vm, vcpuid, sregs); in vcpu_sregs_set()
1414 uint32_t vcpuid, struct kvm_sregs *sregs) in _vcpu_sregs_set() argument
1416 struct vcpu *vcpu = vcpu_find(vm, vcpuid); in _vcpu_sregs_set()
1419 TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid); in _vcpu_sregs_set()
1438 uint32_t vcpuid, unsigned long cmd, void *arg) in vcpu_ioctl() argument
1440 struct vcpu *vcpu = vcpu_find(vm, vcpuid); in vcpu_ioctl()
1443 TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid); in vcpu_ioctl()
1533 uint32_t vcpuid, uint8_t indent) in vcpu_dump() argument
1538 fprintf(stream, "%*scpuid: %u\n", indent, "", vcpuid); in vcpu_dump()
1541 vcpu_regs_get(vm, vcpuid, ®s); in vcpu_dump()
1545 vcpu_sregs_get(vm, vcpuid, &sregs); in vcpu_dump()