Home
last modified time | relevance | path

Searched refs:KRML_HOST_PRINTF (Results 1 – 3 of 3) sorted by relevance

/mbedtls-development/3rdparty/everest/include/everest/kremlin/internal/
A Dtarget.h21 #ifndef KRML_HOST_PRINTF
22 # define KRML_HOST_PRINTF printf macro
62 KRML_HOST_PRINTF("Unimplemented function at %s:%d\n", __FILE__, __LINE__); \
70 (KRML_HOST_PRINTF("KreMLin abort at %s:%d\n%s\n", __FILE__, __LINE__, msg), \
88 KRML_HOST_PRINTF( \
A Ddebug.h50 KRML_HOST_PRINTF("returning: "); \
51 KRML_HOST_PRINTF(KRML_FORMAT(_ret), KRML_FORMAT_ARG(_ret)); \
52 KRML_HOST_PRINTF(" \n"); \
A Dcompat.h26 KRML_HOST_PRINTF( \

Completed in 3 milliseconds