diff --git a/hermit-abi/src/lib.rs b/hermit-abi/src/lib.rs
index 78310dc96..2a379c496 100644
--- a/hermit-abi/src/lib.rs
+++ b/hermit-abi/src/lib.rs
@@ -121,11 +121,17 @@ pub const SO_ERROR: i32 = 0x1007;
 pub const TCP_NODELAY: i32 = 1;
 pub const MSG_PEEK: i32 = 1;
 pub const FIONBIO: i32 = 0x8008667eu32 as i32;
-pub const EAI_NONAME: i32 = -2200;
-pub const EAI_SERVICE: i32 = -2201;
-pub const EAI_FAIL: i32 = -2202;
-pub const EAI_MEMORY: i32 = -2203;
-pub const EAI_FAMILY: i32 = -2204;
+pub const EAI_AGAIN: i32 = 2;
+pub const EAI_BADFLAGS: i32 = 3;
+pub const EAI_FAIL: i32 = 4;
+pub const EAI_FAMILY: i32 = 5;
+pub const EAI_MEMORY: i32 = 6;
+pub const EAI_NODATA: i32 = 7;
+pub const EAI_NONAME: i32 = 8;
+pub const EAI_SERVICE: i32 = 9;
+pub const EAI_SOCKTYPE: i32 = 10;
+pub const EAI_SYSTEM: i32 = 11;
+pub const EAI_OVERFLOW: i32 = 14;
 pub const POLLIN: i16 = 0x1;
 pub const POLLPRI: i16 = 0x2;
 pub const POLLOUT: i16 = 0x4;