Lines 8-10
Link Here
|
8 |
#include <netinet/tcp.h> |
8 |
#include <netinet/tcp.h> |
9 |
|
9 |
|
10 |
#define VKI_TCP_NODELAY TCP_NODELAY |
10 |
#define VKI_TCP_NODELAY TCP_NODELAY |
|
|
11 |
@@ -1888,11 +1889,13 @@ |
12 |
#define VKI_I386_SET_FSBASE 8 |
13 |
#define VKI_I386_GET_GSBASE 9 |
14 |
#define VKI_I386_SET_GSBASE 10 |
15 |
+#define VKI_I386_SET_XFPUSTATE 11 |
16 |
|
17 |
#define VKI_AMD64_GET_FSBASE 128 |
18 |
#define VKI_AMD64_SET_FSBASE 129 |
19 |
#define VKI_AMD64_GET_GSBASE 130 |
20 |
#define VKI_AMD64_SET_GSBASE 131 |
21 |
+#define VKI_AMD64_GET_XFPUSTATE 132 |
22 |
|
23 |
//---------------------------------------------------------------------- |
24 |
// From sys/module.h |