Symbol: VMM_STACK_SIZE
sys/arm64/vmm/vmm_arm64.c
164
stack_top = stack_hyp_va[PCPU_GET(cpuid)] + VMM_STACK_SIZE;
sys/arm64/vmm/vmm_arm64.c
314
stack[cpu] = malloc(VMM_STACK_SIZE, M_HYP, M_WAITOK | M_ZERO);