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

/seL4-mcs-10.1.1/include/arch/arm/arch/object/
H A Diospace.h11 #ifndef __ARCH_OBJECT_IOSPACE_H
12 #define __ARCH_OBJECT_IOSPACE_H macro
/seL4-mcs-10.1.1/include/arch/x86/arch/object/
H A Diospace.h11 #ifndef __ARCH_OBJECT_IOSPACE_H
12 #define __ARCH_OBJECT_IOSPACE_H macro

Completed in 42 milliseconds