Searched refs:EfiBootServicesCode (Results 1 - 4 of 4) sorted by relevance
| /barrelfish-master/kernel/include/arch/armv8/ | ||
| H A D | efi.h | 37 EfiBootServicesCode, enumerator in enum:__anon416 |
| /barrelfish-master/tools/fastmodels/ | ||
| H A D | efi.h | 35 EfiBootServicesCode, enumerator in enum:__anon1425 |
| /barrelfish-master/kernel/include/ | ||
| H A D | uefi_mmap.h | 35 EfiBootServicesCode, enumerator in enum:__anon466 |
| /barrelfish-master/lib/acpica/source/include/platform/ | ||
| H A D | acefiex.h | 177 EfiBootServicesCode, enumerator in enum:__anon503 |
Completed in 84 milliseconds