/* | |
* Copyright (c) 2015 Wind River Systems, Inc. | |
* | |
* SPDX-License-Identifier: Apache-2.0 | |
*/ | |
/** | |
* @file | |
* @brief Stack frames for debugging purposes | |
* | |
* This file contains a routine useful for debugging that gets a pointer to | |
* the current interrupt stack frame. | |
*/ | |
#include <kernel.h> | |
#include <kernel_structs.h> | |
NANO_ISF *sys_debug_current_isf_get(void) | |
{ | |
return _kernel.arch.isf; | |
} |