K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-03-22T18:17:55.708119Z
K 7
svn:log
V 239
Stop calling x86_efi_copyin and x86_efi_getdev directly. This is to help
port loader.efi to both 32 and 64-bit ARM where we can use this file with
minimal changes.

Differential Revision:	https://reviews.freebsd.org/D2031
Reviewed by:	imp

END