Searched defs:EfiBarrelfishCPUDriver (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/kernel/include/arch/armv8/ | ||
| H A D | efi.h | 12 EfiBarrelfishCPUDriver= 0x80000000, enumerator in enum:__anon415 |
| /barrelfish-master/tools/fastmodels/ | ||
| H A D | efi.h | 10 EfiBarrelfishCPUDriver= 0x80000000, enumerator in enum:__anon1424 |
| /barrelfish-master/tools/armv8_bootimage/ | ||
| H A D | efi_loader.c | 30 EfiBarrelfishCPUDriver= 0x80000000, enumerator in enum:__anon305 |
Completed in 499 milliseconds