Marcel Moolenaar aa08c7e56e Make this compile on EFI32. The EFI_PHYSICAL_ADDRESS type is always
64-bit, even when sizeof(void *) is 32-bit.
2006-11-03 04:19:31 +00:00
..
2006-05-26 13:54:27 +00:00
2006-11-02 16:24:18 +00:00