SELFOUR-114: trivial - add missing types to x86

libsel4/sel4_arch_include/ia32/sel4/sel4_arch/types.h

@@ -14,6 +14,10 @@
 #include <autoconf.h>
 
 typedef seL4_Uint32 seL4_Word;
+typedef seL4_Word seL4_NodeId;
+typedef seL4_Word seL4_PAddr;
+typedef seL4_Word seL4_Domain;
+
 typedef seL4_Word seL4_CPtr;
 
 /* User context as used by seL4_TCB_ReadRegisters / seL4_TCB_WriteRegisters */