Searched defs:EfiBarrelfishCPUDriverStack (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-2018-10-04/kernel/include/arch/armv8/ | ||
| H A D | efi.h | 13 EfiBarrelfishCPUDriverStack= 0x80000001, enumerator in enum:__anon415 |
| /barrelfish-2018-10-04/tools/fastmodels/ | ||
| H A D | efi.h | 11 EfiBarrelfishCPUDriverStack= 0x80000001, enumerator in enum:__anon1424 |
Completed in 31 milliseconds