K 10
svn:author
V 3
kib
K 8
svn:date
V 27
2016-10-05T22:02:36.642865Z
K 7
svn:log
V 286
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.

END