223 struct kvm_vm *vm_create_default(uint32_t vcpuid, uint64_t extra_mem_pages,  in vm_create_default()  argument
233 	vm_vcpu_add_default(vm, vcpuid, guest_code);  in vm_create_default()
238 void aarch64_vcpu_setup(struct kvm_vm *vm, int vcpuid, struct kvm_vcpu_init *init)  in aarch64_vcpu_setup()  argument
252 	vcpu_ioctl(vm, vcpuid, KVM_ARM_VCPU_INIT, init);  in aarch64_vcpu_setup()
258 	set_reg(vm, vcpuid, ARM64_SYS_REG(CPACR_EL1), 3 << 20);  in aarch64_vcpu_setup()
260 	get_reg(vm, vcpuid, ARM64_SYS_REG(SCTLR_EL1), &sctlr_el1);  in aarch64_vcpu_setup()
261 	get_reg(vm, vcpuid, ARM64_SYS_REG(TCR_EL1), &tcr_el1);  in aarch64_vcpu_setup()
299 	set_reg(vm, vcpuid, ARM64_SYS_REG(SCTLR_EL1), sctlr_el1);  in aarch64_vcpu_setup()
300 	set_reg(vm, vcpuid, ARM64_SYS_REG(TCR_EL1), tcr_el1);  in aarch64_vcpu_setup()
301 	set_reg(vm, vcpuid, ARM64_SYS_REG(MAIR_EL1), DEFAULT_MAIR_EL1);  in aarch64_vcpu_setup()
302 	set_reg(vm, vcpuid, ARM64_SYS_REG(TTBR0_EL1), vm->pgd);  in aarch64_vcpu_setup()
305 void vcpu_dump(FILE *stream, struct kvm_vm *vm, uint32_t vcpuid, uint8_t indent)  in vcpu_dump()  argument
309 	get_reg(vm, vcpuid, ARM64_CORE_REG(regs.pstate), &pstate);  in vcpu_dump()
310 	get_reg(vm, vcpuid, ARM64_CORE_REG(regs.pc), &pc);  in vcpu_dump()
316 void aarch64_vcpu_add_default(struct kvm_vm *vm, uint32_t vcpuid,  in aarch64_vcpu_add_default()  argument
325 	vm_vcpu_add(vm, vcpuid);  in aarch64_vcpu_add_default()
326 	aarch64_vcpu_setup(vm, vcpuid, init);  in aarch64_vcpu_add_default()
328 	set_reg(vm, vcpuid, ARM64_CORE_REG(sp_el1), stack_vaddr + stack_size);  in aarch64_vcpu_add_default()
329 	set_reg(vm, vcpuid, ARM64_CORE_REG(regs.pc), (uint64_t)guest_code);  in aarch64_vcpu_add_default()
332 void vm_vcpu_add_default(struct kvm_vm *vm, uint32_t vcpuid, void *guest_code)  in vm_vcpu_add_default()  argument
334 	aarch64_vcpu_add_default(vm, vcpuid, NULL, guest_code);  in vm_vcpu_add_default()