Searched refs:__ARCH_FASTPATH_H (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/fastpath/
H A Dfastpath.h11 #ifndef __ARCH_FASTPATH_H
12 #define __ARCH_FASTPATH_H macro
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/fastpath/
H A Dfastpath.h11 #ifndef __ARCH_FASTPATH_H
12 #define __ARCH_FASTPATH_H macro
28 #endif /* __ARCH_FASTPATH_H */
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/fastpath/
H A Dfastpath.h19 #ifndef __ARCH_FASTPATH_H
20 #define __ARCH_FASTPATH_H macro

Completed in 86 milliseconds