K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2006-11-03T04:19:31.000000Z
K 7
svn:log
V 112
Make this compile on EFI32. The EFI_PHYSICAL_ADDRESS type is always
64-bit, even when sizeof(void *) is 32-bit.

END