teems/Enclave/utils.hpp

#ifndef __UTILS_HPP__
#define __UTILS_HPP__

#include <stdio.h>
#include "Enclave_t.h"

void printf(const char *fmt, ...);
unsigned long printf_with_rtclock(const char *fmt, ...);
unsigned long printf_with_rtclock_diff(unsigned long before,
    const char *fmt, ...);

#endif