# CONFIG_ARCH_HAS_CURRENT_STACK_POINTER is not set
