LCOM1920-T02G10

#ifndef _VASSERT_H_

#define _VASSERT_H_

#ifdef __cplusplus

extern "C"

{

#endif /*__cplusplus*/

#define ALIGNED(n) __attribute__((__aligned__(n)))

#define VASSERT_TRIGGER_OFFSET 1221

#define VASSERT_PAGE_SIZE      4096

/* Need to align at 4K. */

/* Ensure the inReplay flag is on its own page. */

#pragma pack(1)

typedef struct VAssert_StateWrapper {

   char space1[VASSERT_TRIGGER_OFFSET];

   volatile char inReplay;

   char space[VASSERT_PAGE_SIZE - VASSERT_TRIGGER_OFFSET - sizeof(char)];

} VAssert_StateWrapper;

#pragma pack()

extern VAssert_StateWrapper vassert_state;

/*

 * User-selectable standard functions.

 * XXX: Document these, in coordination with the SDK docs.

 */

#if defined(__KERNEL__)

#  define KERNEL_VASSERT

#endif

#ifdef KERNEL_VASSERT

#  ifndef VASSERT_CUSTOM_ASSERT

#     define VASSERT_CUSTOM_ASSERT(expr)

#  endif

#  ifndef VASSERT_CUSTOM_ABORT

#     include <linux/kernel.h>

#     define VASSERT_CUSTOM_ABORT() ((void)0) // printk(KERN_ALERT"VAssert abort at %s: %d", __FILE__, __LINE__)

#  endif

#  ifndef VASSERT_CUSTOM_LOG

#     include <linux/kernel.h>

#     define VASSERT_CUSTOM_LOG printk

#  endif

#else

#  ifndef VASSERT_CUSTOM_ASSERT

#     include <assert.h>

#     define VASSERT_CUSTOM_ASSERT assert

#  endif

#  ifndef VASSERT_CUSTOM_ABORT

#     include <stdlib.h>

#     define VASSERT_CUSTOM_ABORT abort

#  endif

#  ifndef VASSERT_CUSTOM_LOG

#     include <stdio.h>

#     define VASSERT_CUSTOM_LOG printf

#  endif

#endif

/* Results: 0 if successful, -1 if not. */

// XXX need to automatic de-register trigger page when the program quits

extern char VAssert_Init(void);

extern char VAssert_Uninit(void);

/*

 * These functions should not be called directly; they need to be wrapped.

 */

extern void VAssert_LogMain(const char *format, ...)

        __attribute__((__format__(__printf__, 1, 2)));

extern void VAssert_GoLiveMain(void);

extern void VAssert_ReturnToReplayMain(void);

extern char VAssert_Trace(size_t max_size);

#ifdef VASSERT_ALWAYS_EXECUTE

#define VAssert_Assert(expr)              \

do {                                      \

   VASSERT_CUSTOM_ASSERT(expr);           \

} while (0)

#define VAssert_Log(args)                 \

do {                                      \

   VASSERT_CUSTOM_LOG args;               \

} while (0)

#define VAssert_BeginBlock

#define VAssert_EndBlock

#else /* VASSERT_ALWAYS_EXECUTE */

#define VAssert_Assert(expr)              \

do {                                      \

   if (vassert_state.inReplay) {          \

      if (!(expr)) {                      \

         VAssert_GoLiveMain();            \

         VASSERT_CUSTOM_ABORT();          \

      } else {                            \

         VAssert_ReturnToReplayMain();    \

      }                                   \

   }                                      \

} while (0)

#define VAssert_Log(args)                 \

do {                                      \

   if (vassert_state.inReplay) {          \

      VAssert_LogMain args;               \

      VAssert_ReturnToReplayMain();       \

   }                                      \

} while (0)

#define VAssert_BeginBlock if (vassert_state.inReplay)

#define VAssert_EndBlock VAssert_ReturnToReplayMain()

#endif /* VASSERT_ALWAYS_EXECUTE */

/* 

 * Record/Replay functionality

 */

/*

 * Results: True if successful, false if not.

 * Input: True to start recording, false to stop.

 */

extern char VAssert_SetRecordingMain(char start);

#define VAssert_StartRecording() VAssert_SetRecordingMain(1)

#define VAssert_StopRecording() VAssert_SetRecordingMain(0)

#ifdef __cplusplus

}

#endif /*__cplusplus*/

#endif /*_VASSERT_H_*/