#ifndef __idl4_arch_arm_helpers_h__ #define __idl4_arch_arm_helpers_h__ #define __idl4_have_size_t__ typedef unsigned long idl4_size_t; #include <idl4/arch/generic/helpers.h> #endif /* defined(__idl4_arch_arm_helpers_h__) */