Index: boot/genarch/include/efi.h
===================================================================
--- boot/genarch/include/efi.h	(revision bbe4828a2a07a9586dbf2f4b406cecb747e28b50)
+++ boot/genarch/include/efi.h	(revision 8d8eeb9b91e7d7323c26964af5c059bcd010897f)
@@ -30,4 +30,51 @@
 #define BOOT_EFI_H_
 
+#include <arch/types.h>
+
+typedef struct {
+	uint64_t signature;
+	uint32_t revision;
+	uint32_t header_size;
+	uint32_t crc32;
+	uint32_t reserved;
+} efi_table_header_t;
+
+#define SAL_SYSTEM_TABLE_GUID \
+	{ \
+		{ \
+			0x32, 0x2d, 0x9d, 0xeb, 0x88, 0x2d, 0xd3, 0x11, \
+			0x9a, 0x16, 0x00, 0x90, 0x27, 0x3f, 0xc1, 0x4d \
+		} \
+	}
+
+typedef union {
+	uint8_t bytes[16];
+	struct {
+		uint64_t low;
+		uint64_t high;
+	};
+} efi_guid_t;
+
+typedef struct {
+	efi_guid_t guid;
+	void *table;
+} efi_configuration_table_t;
+
+typedef struct {
+	efi_table_header_t hdr;
+	char *fw_vendor;
+	uint32_t fw_revision;
+	void *cons_in_handle;
+	void *cons_in;
+	void *cons_out_handle;
+	void *cons_out;
+	void *cons_err_handle;
+	void *cons_err;
+	void *runtime_services;
+	void *boot_services;
+	sysarg_t conf_table_entries;
+	efi_configuration_table_t *conf_table;
+} efi_system_table_t;
+
 typedef enum {
 	EFI_RESERVED,
@@ -57,3 +104,5 @@
 #define EFI_PAGE_SIZE	4096
 
+extern void *efi_vendor_table_find(efi_system_table_t *, efi_guid_t);
+
 #endif