user_data: handle capped data better
[smatch.git] / smatch_data / kernel.no_inline_functions
blob388824e15f733b5faa812ddcf25623214c4ea472
1 __fswab16
2 __fswab32
3 __fswab64
4 __builtin_bswap16
5 __builtin_bswap32
6 __builtin_bswap64
7 __arch_hweight8
8 __arch_hweight16
9 __arch_hweight32
10 __arch_hweight64
11 __write_once_size
12 atomic_set
13 atomic_read
14 notifier_to_errno