Searched refs:EfiBarrelfishMultibootData (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/kernel/include/arch/armv8/
H A Defi.h14 EfiBarrelfishMultibootData= 0x80000002, enumerator in enum:__anon415
/barrelfish-master/tools/fastmodels/
H A Defi.c25 case EfiBarrelfishMultibootData:
26 printf("EfiBarrelfishMultibootData");
H A Defi.h12 EfiBarrelfishMultibootData= 0x80000002, enumerator in enum:__anon1424
H A Dmain.c738 mmap[3].Type= EfiBarrelfishMultibootData;
/barrelfish-master/tools/armv8_bootimage/
H A Defi_loader.c32 EfiBarrelfishMultibootData= 0x80000002, enumerator in enum:__anon305
540 EfiBarrelfishMultibootData,
/barrelfish-master/doc/022-armv8/
H A Dreport.tex727 \item[\ttfamily EfiBarrelfishMultibootData]

Completed in 164 milliseconds