rm dupe file

[picodrive.git] / platform / linux / host_dasm.h

diff --git a/platform/linux/host_dasm.h b/platform/linux/host_dasm.h
deleted file mode 100644 (file)
index 490547d..0000000
--- a/platform/linux/host_dasm.h
+++ /dev/null
@@ -1,4 +0,0 @@
-void host_dasm(void *addr, int len);
-void host_dasm_new_symbol_(void *addr, const char *name);
-#define host_dasm_new_symbol(sym) \
-       host_dasm_new_symbol_(sym, #sym)