Searched refs:__EFI_H (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/include/arch/armv8/
H A Defi.h1 #ifndef __EFI_H
2 #define __EFI_H macro
63 #endif /* __EFI_H */
/barrelfish-master/tools/fastmodels/
H A Defi.h1 #ifndef __EFI_H
2 #define __EFI_H macro
61 #endif /* __EFI_H */

Completed in 41 milliseconds