diff --git a/src/x86/Gcreate_addr_space-x86.c b/src/x86/Gcreate_addr_space-x86.c
new file mode 100644
index 00000000..e69de29b
diff --git a/src/x86/Ginit_remote-x86.c b/src/x86/Ginit_remote-x86.c
new file mode 100644
index 00000000..e69de29b
diff --git a/src/x86/Lcreate_addr_space-x86.c b/src/x86/Lcreate_addr_space-x86.c
new file mode 100644
index 00000000..e69de29b
diff --git a/src/x86/Linit_remote-x86.c b/src/x86/Linit_remote-x86.c
new file mode 100644
index 00000000..e69de29b