From 92243ce506c8c93428810a198fdd83744e1925d9 Mon Sep 17 00:00:00 2001
From: kib <kib@FreeBSD.org>
Date: Wed, 5 Oct 2016 22:02:36 +0000
Subject: MFC r306097: Add kernel interfaces to call EFI Runtime Services.

MFC r306104:
Fix build of the module outside the kernel tree.

MFC r306209 (by imp):
Change the efi_get_table interface to a void **.

MFC r306351:
Handle TLB shootdown IPI during the EFI runtime calls, on SandyBridges.
---
 sys/conf/files.amd64 | 1 +
 1 file changed, 1 insertion(+)

(limited to 'sys/conf/files.amd64')

diff --git a/sys/conf/files.amd64 b/sys/conf/files.amd64
index 186ea7d..72b8666 100644
--- a/sys/conf/files.amd64
+++ b/sys/conf/files.amd64
@@ -110,6 +110,7 @@ amd64/amd64/cpu_switch.S	standard
 amd64/amd64/db_disasm.c		optional	ddb
 amd64/amd64/db_interface.c	optional	ddb
 amd64/amd64/db_trace.c		optional	ddb
+amd64/amd64/efirt.c		optional	efirt
 amd64/amd64/elf_machdep.c	standard
 amd64/amd64/exception.S		standard
 amd64/amd64/fpu.c		standard
-- 
cgit v1.1