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

/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h11 #ifndef __ARCH_FASTPATH_32_H
12 #define __ARCH_FASTPATH_32_H macro
171 #endif /* __ARCH_FASTPATH_32_H */
/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/fastpath/
H A Dfastpath.h11 #ifndef __ARCH_FASTPATH_32_H
12 #define __ARCH_FASTPATH_32_H macro

Completed in 32 milliseconds