- #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