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

/barrelfish-master/kernel/include/arch/armv8/
H A Defi.h12 EfiBarrelfishCPUDriver= 0x80000000, enumerator in enum:__anon415
/barrelfish-master/tools/fastmodels/
H A Defi.c19 case EfiBarrelfishCPUDriver:
20 printf("EfiBarrelfishCPUDriver");
H A Defi.h10 EfiBarrelfishCPUDriver= 0x80000000, enumerator in enum:__anon1424
H A Dmain.c706 mmap[0].Type= EfiBarrelfishCPUDriver;
/barrelfish-master/tools/armv8_bootimage/
H A Defi_loader.c30 EfiBarrelfishCPUDriver= 0x80000000, enumerator in enum:__anon305
426 EfiBarrelfishCPUDriver,
462 EfiBarrelfishCPUDriver,
/barrelfish-master/doc/022-armv8/
H A Dreport.tex723 \item[\ttfamily EfiBarrelfishCPUDriver]

Completed in 99 milliseconds