hafnium: add basic support

Add [very] basic support for testing Hafnium:
https://hafnium.googlesource.com/hafnium

Update #996

2 files changed, 25 insertions, 5 deletions

diff --git a/executor/defs.h b/executor/defs.h
index 9b18b8943..503e8c295 100644
--- a/executor/defs.h
+++ b/executor/defs.h
@@ -60,7 +60,7 @@
 
 #if GOARCH_386
 #define GOARCH "386"
-#define SYZ_REVISION "652d88dbc7fab7b80dd8f14cf9b82a0c657b20de"
+#define SYZ_REVISION "64add99a8aea7ea548a8863a77047cc73c2f7ea3"
 #define SYZ_EXECUTOR_USES_FORK_SERVER 1
 #define SYZ_EXECUTOR_USES_SHMEM 1
 #define SYZ_PAGE_SIZE 4096
@@ -70,7 +70,7 @@
 
 #if GOARCH_amd64
 #define GOARCH "amd64"
-#define SYZ_REVISION "130eaec19469ea8d7e5c0682bd36d66dcf13551b"
+#define SYZ_REVISION "00d6954b4e784e772df0c0be13357489547e920b"
 #define SYZ_EXECUTOR_USES_FORK_SERVER 1
 #define SYZ_EXECUTOR_USES_SHMEM 1
 #define SYZ_PAGE_SIZE 4096
@@ -80,7 +80,7 @@
 
 #if GOARCH_arm
 #define GOARCH "arm"
-#define SYZ_REVISION "f501bb8ac62736f5d0de12e992b5c15bb5f18470"
+#define SYZ_REVISION "9c8bd483fa84d8d237d183f1264bb8589f4c65bb"
 #define SYZ_EXECUTOR_USES_FORK_SERVER 1
 #define SYZ_EXECUTOR_USES_SHMEM 1
 #define SYZ_PAGE_SIZE 4096
@@ -90,7 +90,7 @@
 
 #if GOARCH_arm64
 #define GOARCH "arm64"
-#define SYZ_REVISION "4ba8a2783772cbbb053bcf652b39423f03bcf894"
+#define SYZ_REVISION "ace57d73126bd77a9ee8ec4e7c3d980147e4509b"
 #define SYZ_EXECUTOR_USES_FORK_SERVER 1
 #define SYZ_EXECUTOR_USES_SHMEM 1
 #define SYZ_PAGE_SIZE 4096
@@ -100,7 +100,7 @@
 
 #if GOARCH_ppc64le
 #define GOARCH "ppc64le"
-#define SYZ_REVISION "70182bc26ef9a5b746c48ca2e6d5ae77e94b0b67"
+#define SYZ_REVISION "884e027fa3800c366eccd9a97b5b7b13ebc25abd"
 #define SYZ_EXECUTOR_USES_FORK_SERVER 1
 #define SYZ_EXECUTOR_USES_SHMEM 1
 #define SYZ_PAGE_SIZE 4096
diff --git a/executor/syscalls.h b/executor/syscalls.h
index 38e1c21ec..c243a59a2 100644
--- a/executor/syscalls.h
+++ b/executor/syscalls.h
@@ -1604,6 +1604,7 @@ const call_t syscalls[] = {
     {"connect$bt_sco", 362},
     {"connect$caif", 362},
     {"connect$can_bcm", 362},
+    {"connect$hf", 362},
     {"connect$inet", 362},
     {"connect$inet6", 362},
     {"connect$ipx", 362},
@@ -3261,6 +3262,7 @@ const call_t syscalls[] = {
     {"recvfrom$x25", 371},
     {"recvmmsg", 337},
     {"recvmsg", 372},
+    {"recvmsg$hf", 372},
     {"recvmsg$kcm", 372},
     {"remap_file_pages", 257},
     {"removexattr", 235},
@@ -3372,6 +3374,7 @@ const call_t syscalls[] = {
     {"sendmsg$alg", 370},
     {"sendmsg$can_bcm", 370},
     {"sendmsg$can_raw", 370},
+    {"sendmsg$hf", 370},
     {"sendmsg$inet_sctp", 370},
     {"sendmsg$kcm", 370},
     {"sendmsg$key", 370},
@@ -3716,6 +3719,7 @@ const call_t syscalls[] = {
     {"socket$caif_stream", 359},
     {"socket$can_bcm", 359},
     {"socket$can_raw", 359},
+    {"socket$hf", 359},
     {"socket$inet", 359},
     {"socket$inet6", 359},
     {"socket$inet6_dccp", 359},
@@ -4141,6 +4145,7 @@ const call_t syscalls[] = {
     {"connect$bt_sco", 42},
     {"connect$caif", 42},
     {"connect$can_bcm", 42},
+    {"connect$hf", 42},
     {"connect$inet", 42},
     {"connect$inet6", 42},
     {"connect$ipx", 42},
@@ -5812,6 +5817,7 @@ const call_t syscalls[] = {
     {"recvfrom$x25", 45},
     {"recvmmsg", 299},
     {"recvmsg", 47},
+    {"recvmsg$hf", 47},
     {"recvmsg$kcm", 47},
     {"remap_file_pages", 216},
     {"removexattr", 197},
@@ -5939,6 +5945,7 @@ const call_t syscalls[] = {
     {"sendmsg$alg", 46},
     {"sendmsg$can_bcm", 46},
     {"sendmsg$can_raw", 46},
+    {"sendmsg$hf", 46},
     {"sendmsg$inet_sctp", 46},
     {"sendmsg$kcm", 46},
     {"sendmsg$key", 46},
@@ -6295,6 +6302,7 @@ const call_t syscalls[] = {
     {"socket$caif_stream", 41},
     {"socket$can_bcm", 41},
     {"socket$can_raw", 41},
+    {"socket$hf", 41},
     {"socket$inet", 41},
     {"socket$inet6", 41},
     {"socket$inet6_dccp", 41},
@@ -6711,6 +6719,7 @@ const call_t syscalls[] = {
     {"connect$bt_sco", 283},
     {"connect$caif", 283},
     {"connect$can_bcm", 283},
+    {"connect$hf", 283},
     {"connect$inet", 283},
     {"connect$inet6", 283},
     {"connect$ipx", 283},
@@ -8344,6 +8353,7 @@ const call_t syscalls[] = {
     {"recvfrom$x25", 292},
     {"recvmmsg", 365},
     {"recvmsg", 297},
+    {"recvmsg$hf", 297},
     {"recvmsg$kcm", 297},
     {"remap_file_pages", 253},
     {"removexattr", 235},
@@ -8471,6 +8481,7 @@ const call_t syscalls[] = {
     {"sendmsg$alg", 296},
     {"sendmsg$can_bcm", 296},
     {"sendmsg$can_raw", 296},
+    {"sendmsg$hf", 296},
     {"sendmsg$inet_sctp", 296},
     {"sendmsg$kcm", 296},
     {"sendmsg$key", 296},
@@ -8826,6 +8837,7 @@ const call_t syscalls[] = {
     {"socket$caif_stream", 281},
     {"socket$can_bcm", 281},
     {"socket$can_raw", 281},
+    {"socket$hf", 281},
     {"socket$inet", 281},
     {"socket$inet6", 281},
     {"socket$inet6_dccp", 281},
@@ -9237,6 +9249,7 @@ const call_t syscalls[] = {
     {"connect$bt_sco", 203},
     {"connect$caif", 203},
     {"connect$can_bcm", 203},
+    {"connect$hf", 203},
     {"connect$inet", 203},
     {"connect$inet6", 203},
     {"connect$ipx", 203},
@@ -10857,6 +10870,7 @@ const call_t syscalls[] = {
     {"recvfrom$x25", 207},
     {"recvmmsg", 243},
     {"recvmsg", 212},
+    {"recvmsg$hf", 212},
     {"recvmsg$kcm", 212},
     {"remap_file_pages", 234},
     {"removexattr", 14},
@@ -10981,6 +10995,7 @@ const call_t syscalls[] = {
     {"sendmsg$alg", 211},
     {"sendmsg$can_bcm", 211},
     {"sendmsg$can_raw", 211},
+    {"sendmsg$hf", 211},
     {"sendmsg$inet_sctp", 211},
     {"sendmsg$kcm", 211},
     {"sendmsg$key", 211},
@@ -11335,6 +11350,7 @@ const call_t syscalls[] = {
     {"socket$caif_stream", 198},
     {"socket$can_bcm", 198},
     {"socket$can_raw", 198},
+    {"socket$hf", 198},
     {"socket$inet", 198},
     {"socket$inet6", 198},
     {"socket$inet6_dccp", 198},
@@ -11741,6 +11757,7 @@ const call_t syscalls[] = {
     {"connect$bt_sco", 328},
     {"connect$caif", 328},
     {"connect$can_bcm", 328},
+    {"connect$hf", 328},
     {"connect$inet", 328},
     {"connect$inet6", 328},
     {"connect$ipx", 328},
@@ -13359,6 +13376,7 @@ const call_t syscalls[] = {
     {"recvfrom$x25", 337},
     {"recvmmsg", 343},
     {"recvmsg", 342},
+    {"recvmsg$hf", 342},
     {"recvmsg$kcm", 342},
     {"remap_file_pages", 239},
     {"removexattr", 218},
@@ -13469,6 +13487,7 @@ const call_t syscalls[] = {
     {"sendmsg$alg", 341},
     {"sendmsg$can_bcm", 341},
     {"sendmsg$can_raw", 341},
+    {"sendmsg$hf", 341},
     {"sendmsg$inet_sctp", 341},
     {"sendmsg$kcm", 341},
     {"sendmsg$key", 341},
@@ -13812,6 +13831,7 @@ const call_t syscalls[] = {
     {"socket$caif_stream", 326},
     {"socket$can_bcm", 326},
     {"socket$can_raw", 326},
+    {"socket$hf", 326},
     {"socket$inet", 326},
     {"socket$inet6", 326},
     {"socket$inet6_dccp", 326},