source: trunk/user/idbg/idbg.c @ 450

Last change on this file since 450 was 450, checked in by alain, 6 years ago

Fix a bug in function sched_handle_signal():
When the deleted user thread is the last executed thread,
the sched->u_last field must be updated to point on another user thread.

File size: 704 bytes
RevLine 
[442]1///////////////////////////////////////////////////////////////////////////////
2// File   :  idbg.c
3// Date   :  May 2018
4// Author :  Alain Greiner <alain.greiner@lip6.fr>
5///////////////////////////////////////////////////////////////////////////////
6// This single thread interactive debuger can be used to access and display
7// various kernel structures
8///////////////////////////////////////////////////////////////////////////////
9
10#include <stdlib.h>
11#include <stdio.h>
[445]12#include <almosmkh.h>
[442]13
14///////////
15void main()
16{
17    unsigned long long  cycle;
18
19    get_cycle( &cycle );
[450]20
[442]21    printf( "\n[IDBG] starts at cycle %d\n", (unsigned int)cycle ); 
22
[450]23//    idbg();
[442]24
[450]25    exit( 0 );
[442]26
27} // end main()
28
Note: See TracBrowser for help on using the repository browser.