615 void vcpu_setup(struct kvm_vm *vm, int vcpuid, int pgd_memslot, int gdt_memslot)  in vcpu_setup()  argument
620 	vcpu_sregs_get(vm, vcpuid, &sregs);  in vcpu_setup()
644 	vcpu_sregs_set(vm, vcpuid, &sregs);  in vcpu_setup()
652 void vm_vcpu_add_default(struct kvm_vm *vm, uint32_t vcpuid, void *guest_code)  in vm_vcpu_add_default()  argument
661 	vm_vcpu_add(vm, vcpuid, 0, 0);  in vm_vcpu_add_default()
664 	vcpu_regs_get(vm, vcpuid, &regs);  in vm_vcpu_add_default()
668 	vcpu_regs_set(vm, vcpuid, &regs);  in vm_vcpu_add_default()
672 	vcpu_set_mp_state(vm, vcpuid, &mp_state);  in vm_vcpu_add_default()
689 		uint32_t vcpuid, struct kvm_cpuid2 *cpuid)  in vcpu_set_cpuid()  argument
691 	struct vcpu *vcpu = vcpu_find(vm, vcpuid);  in vcpu_set_cpuid()
694 	TEST_ASSERT(vcpu != NULL, "vcpu not found, vcpuid: %u", vcpuid);  in vcpu_set_cpuid()
715 struct kvm_vm *vm_create_default(uint32_t vcpuid, uint64_t extra_mem_pages,  in vm_create_default()  argument
740 	vm_vcpu_add_default(vm, vcpuid, guest_code);  in vm_create_default()
773 struct kvm_x86_state *vcpu_save_state(struct kvm_vm *vm, uint32_t vcpuid)  in vcpu_save_state()  argument
775 	struct vcpu *vcpu = vcpu_find(vm, vcpuid);  in vcpu_save_state()
846 void vcpu_load_state(struct kvm_vm *vm, uint32_t vcpuid, struct kvm_x86_state *state)  in vcpu_load_state()  argument
848 	struct vcpu *vcpu = vcpu_find(vm, vcpuid);  in vcpu_load_state()