Searched refs:l4_int32_t (Results 1 – 3 of 3) sorted by relevance
37 l4_int32_t value;38 l4_int32_t min;39 l4_int32_t max;40 l4_int32_t fuzz;41 l4_int32_t flat;42 l4_int32_t resolution;
39 typedef signed int l4_int32_t; /**< Signed 32bit value. \ingroup l4_basic_types */ typedef
51 typedef l4_int32_t Elf32_Sword; /**< size 4 align 4 \ingroup l4util_elf*/56 typedef l4_int32_t Elf64_Sword; /**< size 4 align 4 \ingroup l4util_elf*/
Completed in 9 milliseconds