Searched refs:DEFAULT_ARM64_GUEST_STACK_VADDR_MIN (Results 1 – 1 of 1) sorted by relevance
17 #define DEFAULT_ARM64_GUEST_STACK_VADDR_MIN 0xac0000 macro323 DEFAULT_ARM64_GUEST_STACK_VADDR_MIN, 0, 0); in aarch64_vcpu_add_default()