Tofu: support for barrier gate, kmalloc cache

Change-Id: I6f4cfec2ec404efd03b332fc3f449a775816230e
2020-09-06 12:07:51 +09:00
parent 5d784f3ea4
commit 1918df7765
13 changed files with 946 additions and 87 deletions
--- a/kernel/include/tofu/tofu_generated-tof_utofu_device.h
+++ b/kernel/include/tofu/tofu_generated-tof_utofu_device.h
@@ -5,5 +5,13 @@ struct tof_utofu_device {
 			char padding0[0];
 			bool enabled;
 		};
+		struct {
+			char padding1[12];
+			uint32_t gpid;
+		};
+		struct {
+			char padding2[24];
+			uint64_t subnet;
+		};
 	};
 };