///////////////////////////////////////////////////////////////////////////////////
// File     : kernel_utils.h
// Date     : 01/11/2014
// Author   : alain greiner 
// Copyright (c) UPMC-LIP6
///////////////////////////////////////////////////////////////////////////////////
// The kernel_utils.c and kernel_utils.h files are part of the GIET-VM nano-kernel.
///////////////////////////////////////////////////////////////////////////////////

#ifndef _KERNEL_UTILS_H
#define _KERNEL_UTILS_H

/////////////////////////////////////////
extern void _printf( char* format, ... );

///////////////////////////////////////////////////////////
extern unsigned int _atomic_increment( unsigned int* ptr );

#endif

// Local Variables:
// tab-width: 4
// c-basic-offset: 4
// c-file-offsets:((innamespace . 0)(inline-open . 0))
// indent-tabs-mode: nil
// End:
// vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4