Searched refs:DEFAULT_ARM64_GUEST_STACK_VADDR_MIN (Results 1 – 1 of 1) sorted by relevance
15 #define DEFAULT_ARM64_GUEST_STACK_VADDR_MIN 0xac0000 macro325 DEFAULT_ARM64_GUEST_STACK_VADDR_MIN); in aarch64_vcpu_add()