222 struct kvm_vm *vm_create_default(uint32_t vcpuid, uint64_t extra_mem_pages,  in vm_create_default()  argument
232 	vm_vcpu_add_default(vm, vcpuid, guest_code);  in vm_create_default()
237 void aarch64_vcpu_setup(struct kvm_vm *vm, int vcpuid, struct kvm_vcpu_init *init)  in aarch64_vcpu_setup()  argument
251 	vcpu_ioctl(vm, vcpuid, KVM_ARM_VCPU_INIT, init);  in aarch64_vcpu_setup()
257 	set_reg(vm, vcpuid, ARM64_SYS_REG(CPACR_EL1), 3 << 20);  in aarch64_vcpu_setup()
259 	get_reg(vm, vcpuid, ARM64_SYS_REG(SCTLR_EL1), &sctlr_el1);  in aarch64_vcpu_setup()
260 	get_reg(vm, vcpuid, ARM64_SYS_REG(TCR_EL1), &tcr_el1);  in aarch64_vcpu_setup()
298 	set_reg(vm, vcpuid, ARM64_SYS_REG(SCTLR_EL1), sctlr_el1);  in aarch64_vcpu_setup()
299 	set_reg(vm, vcpuid, ARM64_SYS_REG(TCR_EL1), tcr_el1);  in aarch64_vcpu_setup()
300 	set_reg(vm, vcpuid, ARM64_SYS_REG(MAIR_EL1), DEFAULT_MAIR_EL1);  in aarch64_vcpu_setup()
301 	set_reg(vm, vcpuid, ARM64_SYS_REG(TTBR0_EL1), vm->pgd);  in aarch64_vcpu_setup()
304 void vcpu_dump(FILE *stream, struct kvm_vm *vm, uint32_t vcpuid, uint8_t indent)  in vcpu_dump()  argument
308 	get_reg(vm, vcpuid, ARM64_CORE_REG(regs.pstate), &pstate);  in vcpu_dump()
309 	get_reg(vm, vcpuid, ARM64_CORE_REG(regs.pc), &pc);  in vcpu_dump()
315 void aarch64_vcpu_add_default(struct kvm_vm *vm, uint32_t vcpuid,  in aarch64_vcpu_add_default()  argument
324 	vm_vcpu_add(vm, vcpuid);  in aarch64_vcpu_add_default()
325 	aarch64_vcpu_setup(vm, vcpuid, init);  in aarch64_vcpu_add_default()
327 	set_reg(vm, vcpuid, ARM64_CORE_REG(sp_el1), stack_vaddr + stack_size);  in aarch64_vcpu_add_default()
328 	set_reg(vm, vcpuid, ARM64_CORE_REG(regs.pc), (uint64_t)guest_code);  in aarch64_vcpu_add_default()
331 void vm_vcpu_add_default(struct kvm_vm *vm, uint32_t vcpuid, void *guest_code)  in vm_vcpu_add_default()  argument
333 	aarch64_vcpu_add_default(vm, vcpuid, NULL, guest_code);  in vm_vcpu_add_default()
336 void vcpu_args_set(struct kvm_vm *vm, uint32_t vcpuid, unsigned int num, ...)  in vcpu_args_set()  argument
347 		set_reg(vm, vcpuid, ARM64_CORE_REG(regs.regs[i]),  in vcpu_args_set()
354 void assert_on_unhandled_exception(struct kvm_vm *vm, uint32_t vcpuid)  in assert_on_unhandled_exception()  argument