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

///////////////////////////////////////////////////////////////////////////////
// File   :  idbg.c
// Date   :  May 2018
// Author :  Alain Greiner <alain.greiner@lip6.fr>
///////////////////////////////////////////////////////////////////////////////
// This single thread interactive debuger can be used to access and display
// various kernel structures 
///////////////////////////////////////////////////////////////////////////////

#include <stdlib.h>
#include <stdio.h>
#include <almosmkh.h>

///////////
void main()
{
    unsigned long long  cycle;

    get_cycle( &cycle );
    printf( "\n[IDBG] starts at cycle %d\n", (unsigned int)cycle ); 

    ///////
    idbg();
    ///////

    get_cycle( &cycle );
    printf( "\n[IDBG] exit at cycle %d\n", (unsigned int)cycle ); 

    exit( EXIT_SUCCESS );

} // end main()