Searched refs:efi_virtual_addr (Results 1 - 2 of 2) sorted by relevance
| /haiku/headers/private/kernel/platform/efi/ | ||
| H A D | types.h | 141 typedef uint64_t efi_virtual_addr; typedef |
| H A D | boot-services.h | 32 efi_virtual_addr VirtualStart; |
Completed in 101 milliseconds