sw_debug.h

Go to the documentation of this file.

/* 
 * OpenVirtualization: 
 * For additional details and support contact [email protected].
 * Additional documentation can be found at www.openvirtualization.org
 * 
 * Copyright (C) 2010-2014 SierraWare
 * 
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version 2
 * of the License, or (at your option) any later version.
 * 
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
 * 
 */
/* 
 * Header for Helper functions for debugging
 *
 */

#ifndef __LIB_DEBUG_H__
#define __LIB_DEBUG_H__

#include <sw_types.h>


#ifndef ARM_ARCH_ARMV7
#include <stdarg.h>
#endif

#ifdef ARM_ARCH_ARMV7

typedef char *va_list;

#define  ALIGNBND           (sizeof (signed int) - 1)
#define bnd(X, bnd)         (((sizeof (X)) + (bnd)) & (~(bnd)))
#define va_arg(ap, T) \
       (*(T *)(((ap) += (bnd (T, ALIGNBND))) - (bnd (T,ALIGNBND))))
#define va_end(ap)          (void) 0
#define va_start(ap, A)   \
  (void) ((ap) = (((char *) &(A)) + (bnd (A,ALIGNBND))))

#endif
#define LINE_FEED              0xA
#define CARRIAGE_RETURN        0xD
#define PRINTABLE_START        0x20
#define PRINTABLE_END          0x7E

#ifdef __CCODE__

__attribute((noreturn)) void DIE_NOW(void * context, char* msg);

/* output to serial */
u32 sw_printf(const char *fmt, ...);

u32 sw_printk(const char *fmt, ...);

u32 sw_vsprintf(char *buf, const char *fmt, va_list args);

int printable_char(char c);

void DIE_NOW(void* context, char* msg);


#endif /* __CODE__ */

#endif