/* CPU Cache line size */
#define LEVEL1_DCACHE_LINESIZE @LEVEL1_DCACHE_LINESIZE@

#ifndef _WIN32
// This is now in CMakeLists.txt
//#define _GNU_SOURCE
#else
#include <hicn/platforms/windows/win_portability.h>
#endif