Searched refs:INLINE (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/tools/riscv-pk/softfloat/
H A Dplatform.h44 #define INLINE inline macro
46 #define INLINE extern inline macro
H A Dopts-GCC.h40 #ifdef INLINE
47 INLINE uint_fast8_t softfloat_countLeadingZeros16( uint16_t a )
51 INLINE uint_fast8_t softfloat_countLeadingZeros32( uint32_t a )
55 INLINE uint_fast8_t softfloat_countLeadingZeros64( uint64_t a )
63 INLINE struct uint128 softfloat_mul64ByShifted32To128( uint64_t a, uint32_t b )
71 INLINE struct uint128 softfloat_mul64To128( uint64_t a, uint64_t b )
79 INLINE
88 INLINE
H A Dspecialize.h218 #if defined INLINE && ! defined softfloat_commonNaNToExtF80UI
219 INLINE
275 #if defined INLINE && ! defined softfloat_commonNaNToF128UI
276 INLINE
325 #if defined INLINE && ! defined softfloat_commonNaNToExtF80M
326 INLINE
377 #if defined INLINE && ! defined softfloat_commonNaNToF128M
378 INLINE
H A Dprimitives.h52 INLINE
71 INLINE uint32_t softfloat_shiftRightJam32( uint32_t a, uint_fast16_t dist )
92 INLINE uint64_t softfloat_shiftRightJam64( uint64_t a, uint_fast32_t dist )
115 INLINE uint_fast8_t softfloat_countLeadingZeros16( uint16_t a )
136 INLINE uint_fast8_t softfloat_countLeadingZeros32( uint32_t a )
224 INLINE
239 INLINE
254 INLINE
268 INLINE
289 INLINE
[all...]
/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py66 INLINE = { variable
1769 'inline': INLINE[options.environment],
1889 "inline": INLINE[options.environment],
1935 "inline": INLINE[options.environment],
2505 "inline": INLINE[options.environment],
2544 "inline": INLINE[options.environment],
/seL4-test-master/kernel/libsel4/tools/
H A Dbitfield_gen.py66 INLINE = { variable
1769 'inline': INLINE[options.environment],
1889 "inline": INLINE[options.environment],
1935 "inline": INLINE[options.environment],
2505 "inline": INLINE[options.environment],
2544 "inline": INLINE[options.environment],
/seL4-test-master/kernel/tools/
H A Dbitfield_gen.py66 INLINE = { variable
1769 'inline': INLINE[options.environment],
1889 "inline": INLINE[options.environment],
1935 "inline": INLINE[options.environment],
2505 "inline": INLINE[options.environment],
2544 "inline": INLINE[options.environment],

Completed in 49 milliseconds