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

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

1) Register the kernel process in the cluster manager local list.
2) Introduce a new service in idbg : display the set of busylocks taken by a given thread.

File size: 809 bytes
Line 
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>
12#include <almosmkh.h>
13
14///////////
15void main( void )
16{
17    unsigned long long  cycle;
18    unsigned int        cxy;
19    unsigned int        lid;
20
21    get_cycle( &cycle );
22    get_core( &cxy , &lid );
23
24    printf( "\n[IDBG] starts on core[%x,%d] / cycle %d\n",
25    cxy , lid , (unsigned int)cycle ); 
26
27    idbg();
28
29} // end main()
30
Note: See TracBrowser for help on using the repository browser.