Searched defs:stack_vaddr (Results 1 – 4 of 4) sorted by relevance
161 uint64_t stack_vaddr; in vm_arch_vcpu_add() local
285 unsigned long stack_vaddr = vm_vaddr_alloc(vm, stack_size, in vm_arch_vcpu_add() local
324 uint64_t stack_vaddr = vm_vaddr_alloc(vm, stack_size, in aarch64_vcpu_add() local
647 vm_vaddr_t stack_vaddr; in vm_arch_vcpu_add() local