\r
/* Type definitions. */\r
#if __riscv_xlen == 64\r
- #define portSTACK_TYPE uint64_t\r
- #define portBASE_TYPE int64_t\r
- #define portUBASE_TYPE uint64_t\r
- #define portMAX_DELAY ( TickType_t ) 0xffffffffffffffffUL\r
+ #define portSTACK_TYPE uint64_t\r
+ #define portBASE_TYPE int64_t\r
+ #define portUBASE_TYPE uint64_t\r
+ #define portMAX_DELAY ( TickType_t ) 0xffffffffffffffffUL\r
+ #define portPOINTER_SIZE_TYPE uint64_t\r
#elif __riscv_xlen == 32\r
#define portSTACK_TYPE uint32_t\r
#define portBASE_TYPE int32_t\r
#error This is the RV32 port that has not yet been adapted for 64.\r
#define portBYTE_ALIGNMENT 16\r
#else\r
- #define portBYTE_ALIGNMENT 8\r
+ #define portBYTE_ALIGNMENT 16\r
#endif\r
/*-----------------------------------------------------------*/\r
\r