HFI1: add a bunch of fields to hfi1_devdata and hfi1_filedata for receive TID handling, do necessary mappings in hfi1_map_device_addresses()

kernel/include/hfi1/hfi1_generated_devdata.h

@@ -34,19 +34,31 @@ struct hfi1_devdata {
 			void *rcvarray_wc;
 		};
 		struct {
-			char padding8[3688];
+			char padding8[3648];
+			long unsigned int *events;
+		};
+		struct {
+			char padding9[3684];
+			u32 chip_rcv_contexts;
+		};
+		struct {
+			char padding10[3688];
 			u32 chip_rcv_array_count;
 		};
 		struct {
-			char padding9[6872];
+			char padding11[6872];
 			struct hfi1_pportdata *pport;
 		};
 		struct {
-			char padding10[6896];
+			char padding12[6896];
 			u16 flags;
 		};
 		struct {
-			char padding11[6920];
+			char padding13[6899];
+			u8 first_user_ctxt;
+		};
+		struct {
+			char padding14[6920];
 			u64 sc2vl[4];
 		};
 	};

kernel/include/hfi1/hfi1_generated_filedata.h

@@ -33,5 +33,17 @@ struct hfi1_filedata {
 			char padding7[72];
 			u32 tid_used;
 		};
+		struct {
+			char padding8[80];
+			u32 *invalid_tids;
+		};
+		struct {
+			char padding9[88];
+			u32 invalid_tid_idx;
+		};
+		struct {
+			char padding10[92];
+			spinlock_t invalid_lock;
+		};
 	};
 };

kernel/include/process.h

@@ -582,6 +582,7 @@ struct process {
 	void *hfi1_rcvarray_wc;
 	size_t hfi1_rcvarray_wc_len;
 	void *hfi1_cq_comps;
+	void *hfi1_events;
 	size_t hfi1_cq_comps_len;
 	ihk_spinlock_t hfi1_lock;
 };