add riscv64 efibind.h

ok drahn@ kettenis@

diff --git a/sys/stand/efi/include/riscv64/efibind.h b/sys/stand/efi/include/riscv64/efibind.h
new file mode 100644 (file)
index 0000000..1ea88ac
--- /dev/null
+++ b/sys/stand/efi/include/riscv64/efibind.h
@@ -0,0 +1,22 @@
+/* Public Domain. */
+
+#include <sys/stdint.h>
+
+typedef int8_t         INT8;
+typedef uint8_t                UINT8;
+typedef int16_t                INT16;
+typedef uint16_t       UINT16;
+typedef int32_t                INT32;
+typedef uint32_t       UINT32;
+typedef int64_t                INT64;
+typedef uint64_t       UINT64;
+
+typedef void           VOID;
+
+typedef int64_t                INTN;
+typedef uint64_t       UINTN;
+
+#define INTERFACE_DECL(x)      struct x
+#define EFIAPI
+
+#define EFIERR(x)      (0x8000000000000000 | x)