//kernel/trunk/arch/amd64/src/debugger.c |
---|
26,6 → 26,13 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup amd64debug ia32/amd64 |
* @ingroup debug |
* @{ |
*/ |
/** @file |
*/ |
#include <arch/debugger.h> |
#include <console/kconsole.h> |
#include <console/cmd.h> |
375,3 → 382,7 |
debug_ipi); |
#endif |
} |
/** @} |
*/ |