_free_sdei_stack   55 arch/arm64/kernel/sdei.c 		_free_sdei_stack(&sdei_stack_normal_ptr, cpu);
_free_sdei_stack   56 arch/arm64/kernel/sdei.c 		_free_sdei_stack(&sdei_stack_critical_ptr, cpu);