Searched refs:__VKI_ARM_LINUX_H (Results 1 – 2 of 2) sorted by relevance
31 #ifndef __VKI_ARM_LINUX_H32 #define __VKI_ARM_LINUX_H macro
278 #ifndef __VKI_ARM_LINUX_H279 #define __VKI_ARM_LINUX_H863 #endif // __VKI_ARM_LINUX_H