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