#ifndef JOS_TEST_JOSENV_HH
#define JOS_TEST_JOSENV_HH

#define JOS_INC_TYPES_H
#define JOS_MACHINE_TYPES_H

#include <stdint.h>

#define inline __inline__
typedef uint64_t physaddr_t;
typedef uint64_t ppn_t;
typedef __int128_t int128_t;
typedef __uint128_t uint128_t;

#endif