Searched refs:stack_vaddr (Results 1 – 1 of 1) sorted by relevance
656 vm_vaddr_t stack_vaddr; in vm_vcpu_add_default() local657 stack_vaddr = vm_vaddr_alloc(vm, DEFAULT_STACK_PGS * getpagesize(), in vm_vcpu_add_default()666 regs.rsp = stack_vaddr + (DEFAULT_STACK_PGS * getpagesize()); in vm_vcpu_add_default()
