__set_HSR(0, hsr0 & ~HSR0_ETMD);
/* disable single stepping */
__set_HSR(0, hsr0 & ~HSR0_ETMD);
/* disable single stepping */
* the top kernel context */
*__debug_frame = *__frame;
__frame = __debug_frame->next_frame;
* the top kernel context */
*__debug_frame = *__frame;
__frame = __debug_frame->next_frame;