Searched refs:stack_vaddr (Results 1 – 3 of 3) sorted by relevance
161 uint64_t stack_vaddr; in vm_vcpu_add_default() local169 stack_vaddr = vm_vaddr_alloc(vm, stack_size, in vm_vcpu_add_default()176 regs.gprs[15] = stack_vaddr + (DEFAULT_STACK_PGS * getpagesize()) - 160; in vm_vcpu_add_default()
300 uint64_t stack_vaddr = vm_vaddr_alloc(vm, stack_size, in aarch64_vcpu_add_default() local306 set_reg(vm, vcpuid, ARM64_CORE_REG(sp_el1), stack_vaddr + stack_size); in aarch64_vcpu_add_default()
657 vm_vaddr_t stack_vaddr; in vm_vcpu_add_default() local658 stack_vaddr = vm_vaddr_alloc(vm, DEFAULT_STACK_PGS * getpagesize(), in vm_vcpu_add_default()669 regs.rsp = stack_vaddr + (DEFAULT_STACK_PGS * getpagesize()); in vm_vcpu_add_default()
Completed in 7 milliseconds