SDEI_STACK_SIZE    64 arch/arm64/kernel/sdei.c 	p = arch_alloc_vmap_stack(SDEI_STACK_SIZE, cpu_to_node(cpu));
SDEI_STACK_SIZE    95 arch/arm64/kernel/sdei.c 	unsigned long high = low + SDEI_STACK_SIZE;
SDEI_STACK_SIZE   115 arch/arm64/kernel/sdei.c 	unsigned long high = low + SDEI_STACK_SIZE;