K 10
svn:author
V 6
emaste
K 8
svn:date
V 27
2014-03-31T14:12:27.838354Z
K 7
svn:log
V 192
Merge r246607 by benno from projects/uefi

  Use EFI types for EFI values (silences warnings).

EFI UINTN is actually a 64-bit type on 64-bit processors.

Sponsored by:	The FreeBSD Foundation

END