Searched refs:__syscall_always_inline (Results 1 – 4 of 4) sorted by relevance
220 __syscall_always_inline int sys_cache_data_flush_range(void *addr, size_t size);283 __syscall_always_inline int sys_cache_data_invd_range(void *addr, size_t size);347 __syscall_always_inline int sys_cache_data_flush_and_invd_range(void *addr, size_t size);
151 #define __syscall_always_inline static inline __attribute__((always_inline)) macro154 #define __syscall_always_inline macro
27 - __syscall_always_inline
2523 __syscall_always_inline= \
