diff --git a/port/threadx/inc/tx_port.h b/port/threadx/inc/tx_port.h
index 734eb81..716d672 100644
--- a/port/threadx/inc/tx_port.h
+++ b/port/threadx/inc/tx_port.h
@@ -96,11 +96,14 @@ typedef unsigned char UCHAR;
 typedef int INT;
 typedef unsigned int UINT;
 typedef int LONG;
-typedef unsigned int ULONG;
+typedef unsigned int ULONG; // ThreadX expects ULONG to be 32 bit
 typedef unsigned long long ULONG64;
 typedef short SHORT;
 typedef unsigned short USHORT;
 #define ULONG64_DEFINED
+#define ALIGN_TYPE_DEFINED
+// Since ULONG is not actually unsigned long, it is to small to hold pointers for 64-bit systems
+#define ALIGN_TYPE unsigned long
 
 /* Define the priority levels for ThreadX.  Legal values range
    from 32 to 1024 and MUST be evenly divisible by 32.  */