#ifndef PAL_FREEBSD_DEFS_H
#define PAL_FREEBSD_DEFS_H

#define USER_ADDRESS_LOWEST  0x10000
#define USER_ADDRESS_HIGHEST 0x80000000

#define USE_CLOCK_GETTIME 0

#define USE_ARCH_RDRAND 0

#endif /* PAL_FREEBSD_DEFS_H */