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

/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/api/
H A Dtypes.h17 #ifndef __ARCH_API_TYPES
18 #define __ARCH_API_TYPES macro
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A Dtypes.h11 #ifndef __ARCH_API_TYPES
12 #define __ARCH_API_TYPES macro

Completed in 32 milliseconds