0001
0002 #ifndef __BPF_CORE_READ_H__
0003 #define __BPF_CORE_READ_H__
0004
0005
0006
0007
0008
0009
0010
0011
0012
0013 enum bpf_field_info_kind {
0014 BPF_FIELD_BYTE_OFFSET = 0,
0015 BPF_FIELD_BYTE_SIZE = 1,
0016 BPF_FIELD_EXISTS = 2,
0017 BPF_FIELD_SIGNED = 3,
0018 BPF_FIELD_LSHIFT_U64 = 4,
0019 BPF_FIELD_RSHIFT_U64 = 5,
0020 };
0021
0022
0023 enum bpf_type_id_kind {
0024 BPF_TYPE_ID_LOCAL = 0,
0025 BPF_TYPE_ID_TARGET = 1,
0026 };
0027
0028
0029 enum bpf_type_info_kind {
0030 BPF_TYPE_EXISTS = 0,
0031 BPF_TYPE_SIZE = 1,
0032 BPF_TYPE_MATCHES = 2,
0033 };
0034
0035
0036 enum bpf_enum_value_kind {
0037 BPF_ENUMVAL_EXISTS = 0,
0038 BPF_ENUMVAL_VALUE = 1,
0039 };
0040
0041 #define __CORE_RELO(src, field, info) \
0042 __builtin_preserve_field_info((src)->field, BPF_FIELD_##info)
0043
0044 #if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
0045 #define __CORE_BITFIELD_PROBE_READ(dst, src, fld) \
0046 bpf_probe_read_kernel( \
0047 (void *)dst, \
0048 __CORE_RELO(src, fld, BYTE_SIZE), \
0049 (const void *)src + __CORE_RELO(src, fld, BYTE_OFFSET))
0050 #else
0051
0052
0053
0054
0055 #define __CORE_BITFIELD_PROBE_READ(dst, src, fld) \
0056 bpf_probe_read_kernel( \
0057 (void *)dst + (8 - __CORE_RELO(src, fld, BYTE_SIZE)), \
0058 __CORE_RELO(src, fld, BYTE_SIZE), \
0059 (const void *)src + __CORE_RELO(src, fld, BYTE_OFFSET))
0060 #endif
0061
0062
0063
0064
0065
0066
0067
0068
0069
0070 #define BPF_CORE_READ_BITFIELD_PROBED(s, field) ({ \
0071 unsigned long long val = 0; \
0072 \
0073 __CORE_BITFIELD_PROBE_READ(&val, s, field); \
0074 val <<= __CORE_RELO(s, field, LSHIFT_U64); \
0075 if (__CORE_RELO(s, field, SIGNED)) \
0076 val = ((long long)val) >> __CORE_RELO(s, field, RSHIFT_U64); \
0077 else \
0078 val = val >> __CORE_RELO(s, field, RSHIFT_U64); \
0079 val; \
0080 })
0081
0082
0083
0084
0085
0086
0087
0088 #define BPF_CORE_READ_BITFIELD(s, field) ({ \
0089 const void *p = (const void *)s + __CORE_RELO(s, field, BYTE_OFFSET); \
0090 unsigned long long val; \
0091 \
0092
0093
0094
0095
0096
0097 \
0098 asm volatile("" : "=r"(p) : "0"(p)); \
0099 \
0100 switch (__CORE_RELO(s, field, BYTE_SIZE)) { \
0101 case 1: val = *(const unsigned char *)p; break; \
0102 case 2: val = *(const unsigned short *)p; break; \
0103 case 4: val = *(const unsigned int *)p; break; \
0104 case 8: val = *(const unsigned long long *)p; break; \
0105 } \
0106 val <<= __CORE_RELO(s, field, LSHIFT_U64); \
0107 if (__CORE_RELO(s, field, SIGNED)) \
0108 val = ((long long)val) >> __CORE_RELO(s, field, RSHIFT_U64); \
0109 else \
0110 val = val >> __CORE_RELO(s, field, RSHIFT_U64); \
0111 val; \
0112 })
0113
0114 #define ___bpf_field_ref1(field) (field)
0115 #define ___bpf_field_ref2(type, field) (((typeof(type) *)0)->field)
0116 #define ___bpf_field_ref(args...) \
0117 ___bpf_apply(___bpf_field_ref, ___bpf_narg(args))(args)
0118
0119
0120
0121
0122
0123
0124
0125
0126
0127
0128
0129
0130
0131 #define bpf_core_field_exists(field...) \
0132 __builtin_preserve_field_info(___bpf_field_ref(field), BPF_FIELD_EXISTS)
0133
0134
0135
0136
0137
0138
0139
0140
0141
0142
0143
0144 #define bpf_core_field_size(field...) \
0145 __builtin_preserve_field_info(___bpf_field_ref(field), BPF_FIELD_BYTE_SIZE)
0146
0147
0148
0149
0150
0151
0152
0153
0154
0155
0156 #define bpf_core_field_offset(field...) \
0157 __builtin_preserve_field_info(___bpf_field_ref(field), BPF_FIELD_BYTE_OFFSET)
0158
0159
0160
0161
0162
0163
0164 #define bpf_core_type_id_local(type) \
0165 __builtin_btf_type_id(*(typeof(type) *)0, BPF_TYPE_ID_LOCAL)
0166
0167
0168
0169
0170
0171
0172
0173
0174 #define bpf_core_type_id_kernel(type) \
0175 __builtin_btf_type_id(*(typeof(type) *)0, BPF_TYPE_ID_TARGET)
0176
0177
0178
0179
0180
0181
0182
0183
0184 #define bpf_core_type_exists(type) \
0185 __builtin_preserve_type_info(*(typeof(type) *)0, BPF_TYPE_EXISTS)
0186
0187
0188
0189
0190
0191
0192
0193
0194 #define bpf_core_type_matches(type) \
0195 __builtin_preserve_type_info(*(typeof(type) *)0, BPF_TYPE_MATCHES)
0196
0197
0198
0199
0200
0201
0202
0203
0204 #define bpf_core_type_size(type) \
0205 __builtin_preserve_type_info(*(typeof(type) *)0, BPF_TYPE_SIZE)
0206
0207
0208
0209
0210
0211
0212
0213
0214
0215 #define bpf_core_enum_value_exists(enum_type, enum_value) \
0216 __builtin_preserve_enum_value(*(typeof(enum_type) *)enum_value, BPF_ENUMVAL_EXISTS)
0217
0218
0219
0220
0221
0222
0223
0224
0225
0226 #define bpf_core_enum_value(enum_type, enum_value) \
0227 __builtin_preserve_enum_value(*(typeof(enum_type) *)enum_value, BPF_ENUMVAL_VALUE)
0228
0229
0230
0231
0232
0233
0234
0235
0236
0237
0238
0239
0240
0241
0242
0243
0244
0245 #define bpf_core_read(dst, sz, src) \
0246 bpf_probe_read_kernel(dst, sz, (const void *)__builtin_preserve_access_index(src))
0247
0248
0249 #define bpf_core_read_user(dst, sz, src) \
0250 bpf_probe_read_user(dst, sz, (const void *)__builtin_preserve_access_index(src))
0251
0252
0253
0254
0255
0256 #define bpf_core_read_str(dst, sz, src) \
0257 bpf_probe_read_kernel_str(dst, sz, (const void *)__builtin_preserve_access_index(src))
0258
0259
0260 #define bpf_core_read_user_str(dst, sz, src) \
0261 bpf_probe_read_user_str(dst, sz, (const void *)__builtin_preserve_access_index(src))
0262
0263 #define ___concat(a, b) a ## b
0264 #define ___apply(fn, n) ___concat(fn, n)
0265 #define ___nth(_1, _2, _3, _4, _5, _6, _7, _8, _9, _10, __11, N, ...) N
0266
0267
0268
0269
0270
0271 #define ___narg(...) ___nth(_, ##__VA_ARGS__, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0)
0272
0273
0274
0275
0276
0277 #define ___empty(...) ___nth(_, ##__VA_ARGS__, N, N, N, N, N, N, N, N, N, N, 0)
0278
0279 #define ___last1(x) x
0280 #define ___last2(a, x) x
0281 #define ___last3(a, b, x) x
0282 #define ___last4(a, b, c, x) x
0283 #define ___last5(a, b, c, d, x) x
0284 #define ___last6(a, b, c, d, e, x) x
0285 #define ___last7(a, b, c, d, e, f, x) x
0286 #define ___last8(a, b, c, d, e, f, g, x) x
0287 #define ___last9(a, b, c, d, e, f, g, h, x) x
0288 #define ___last10(a, b, c, d, e, f, g, h, i, x) x
0289 #define ___last(...) ___apply(___last, ___narg(__VA_ARGS__))(__VA_ARGS__)
0290
0291 #define ___nolast2(a, _) a
0292 #define ___nolast3(a, b, _) a, b
0293 #define ___nolast4(a, b, c, _) a, b, c
0294 #define ___nolast5(a, b, c, d, _) a, b, c, d
0295 #define ___nolast6(a, b, c, d, e, _) a, b, c, d, e
0296 #define ___nolast7(a, b, c, d, e, f, _) a, b, c, d, e, f
0297 #define ___nolast8(a, b, c, d, e, f, g, _) a, b, c, d, e, f, g
0298 #define ___nolast9(a, b, c, d, e, f, g, h, _) a, b, c, d, e, f, g, h
0299 #define ___nolast10(a, b, c, d, e, f, g, h, i, _) a, b, c, d, e, f, g, h, i
0300 #define ___nolast(...) ___apply(___nolast, ___narg(__VA_ARGS__))(__VA_ARGS__)
0301
0302 #define ___arrow1(a) a
0303 #define ___arrow2(a, b) a->b
0304 #define ___arrow3(a, b, c) a->b->c
0305 #define ___arrow4(a, b, c, d) a->b->c->d
0306 #define ___arrow5(a, b, c, d, e) a->b->c->d->e
0307 #define ___arrow6(a, b, c, d, e, f) a->b->c->d->e->f
0308 #define ___arrow7(a, b, c, d, e, f, g) a->b->c->d->e->f->g
0309 #define ___arrow8(a, b, c, d, e, f, g, h) a->b->c->d->e->f->g->h
0310 #define ___arrow9(a, b, c, d, e, f, g, h, i) a->b->c->d->e->f->g->h->i
0311 #define ___arrow10(a, b, c, d, e, f, g, h, i, j) a->b->c->d->e->f->g->h->i->j
0312 #define ___arrow(...) ___apply(___arrow, ___narg(__VA_ARGS__))(__VA_ARGS__)
0313
0314 #define ___type(...) typeof(___arrow(__VA_ARGS__))
0315
0316 #define ___read(read_fn, dst, src_type, src, accessor) \
0317 read_fn((void *)(dst), sizeof(*(dst)), &((src_type)(src))->accessor)
0318
0319
0320 #define ___rd_first(fn, src, a) ___read(fn, &__t, ___type(src), src, a);
0321 #define ___rd_last(fn, ...) \
0322 ___read(fn, &__t, ___type(___nolast(__VA_ARGS__)), __t, ___last(__VA_ARGS__));
0323 #define ___rd_p1(fn, ...) const void *__t; ___rd_first(fn, __VA_ARGS__)
0324 #define ___rd_p2(fn, ...) ___rd_p1(fn, ___nolast(__VA_ARGS__)) ___rd_last(fn, __VA_ARGS__)
0325 #define ___rd_p3(fn, ...) ___rd_p2(fn, ___nolast(__VA_ARGS__)) ___rd_last(fn, __VA_ARGS__)
0326 #define ___rd_p4(fn, ...) ___rd_p3(fn, ___nolast(__VA_ARGS__)) ___rd_last(fn, __VA_ARGS__)
0327 #define ___rd_p5(fn, ...) ___rd_p4(fn, ___nolast(__VA_ARGS__)) ___rd_last(fn, __VA_ARGS__)
0328 #define ___rd_p6(fn, ...) ___rd_p5(fn, ___nolast(__VA_ARGS__)) ___rd_last(fn, __VA_ARGS__)
0329 #define ___rd_p7(fn, ...) ___rd_p6(fn, ___nolast(__VA_ARGS__)) ___rd_last(fn, __VA_ARGS__)
0330 #define ___rd_p8(fn, ...) ___rd_p7(fn, ___nolast(__VA_ARGS__)) ___rd_last(fn, __VA_ARGS__)
0331 #define ___rd_p9(fn, ...) ___rd_p8(fn, ___nolast(__VA_ARGS__)) ___rd_last(fn, __VA_ARGS__)
0332 #define ___read_ptrs(fn, src, ...) \
0333 ___apply(___rd_p, ___narg(__VA_ARGS__))(fn, src, __VA_ARGS__)
0334
0335 #define ___core_read0(fn, fn_ptr, dst, src, a) \
0336 ___read(fn, dst, ___type(src), src, a);
0337 #define ___core_readN(fn, fn_ptr, dst, src, ...) \
0338 ___read_ptrs(fn_ptr, src, ___nolast(__VA_ARGS__)) \
0339 ___read(fn, dst, ___type(src, ___nolast(__VA_ARGS__)), __t, \
0340 ___last(__VA_ARGS__));
0341 #define ___core_read(fn, fn_ptr, dst, src, a, ...) \
0342 ___apply(___core_read, ___empty(__VA_ARGS__))(fn, fn_ptr, dst, \
0343 src, a, ##__VA_ARGS__)
0344
0345
0346
0347
0348
0349
0350 #define BPF_CORE_READ_INTO(dst, src, a, ...) ({ \
0351 ___core_read(bpf_core_read, bpf_core_read, \
0352 dst, (src), a, ##__VA_ARGS__) \
0353 })
0354
0355
0356
0357
0358
0359
0360 #define BPF_CORE_READ_USER_INTO(dst, src, a, ...) ({ \
0361 ___core_read(bpf_core_read_user, bpf_core_read_user, \
0362 dst, (src), a, ##__VA_ARGS__) \
0363 })
0364
0365
0366 #define BPF_PROBE_READ_INTO(dst, src, a, ...) ({ \
0367 ___core_read(bpf_probe_read, bpf_probe_read, \
0368 dst, (src), a, ##__VA_ARGS__) \
0369 })
0370
0371
0372
0373
0374
0375
0376 #define BPF_PROBE_READ_USER_INTO(dst, src, a, ...) ({ \
0377 ___core_read(bpf_probe_read_user, bpf_probe_read_user, \
0378 dst, (src), a, ##__VA_ARGS__) \
0379 })
0380
0381
0382
0383
0384
0385
0386 #define BPF_CORE_READ_STR_INTO(dst, src, a, ...) ({ \
0387 ___core_read(bpf_core_read_str, bpf_core_read, \
0388 dst, (src), a, ##__VA_ARGS__) \
0389 })
0390
0391
0392
0393
0394
0395
0396 #define BPF_CORE_READ_USER_STR_INTO(dst, src, a, ...) ({ \
0397 ___core_read(bpf_core_read_user_str, bpf_core_read_user, \
0398 dst, (src), a, ##__VA_ARGS__) \
0399 })
0400
0401
0402 #define BPF_PROBE_READ_STR_INTO(dst, src, a, ...) ({ \
0403 ___core_read(bpf_probe_read_str, bpf_probe_read, \
0404 dst, (src), a, ##__VA_ARGS__) \
0405 })
0406
0407
0408
0409
0410
0411
0412
0413 #define BPF_PROBE_READ_USER_STR_INTO(dst, src, a, ...) ({ \
0414 ___core_read(bpf_probe_read_user_str, bpf_probe_read_user, \
0415 dst, (src), a, ##__VA_ARGS__) \
0416 })
0417
0418
0419
0420
0421
0422
0423
0424
0425
0426
0427
0428
0429
0430
0431
0432
0433
0434
0435
0436
0437
0438
0439
0440
0441
0442 #define BPF_CORE_READ(src, a, ...) ({ \
0443 ___type((src), a, ##__VA_ARGS__) __r; \
0444 BPF_CORE_READ_INTO(&__r, (src), a, ##__VA_ARGS__); \
0445 __r; \
0446 })
0447
0448
0449
0450
0451
0452
0453
0454
0455
0456
0457
0458 #define BPF_CORE_READ_USER(src, a, ...) ({ \
0459 ___type((src), a, ##__VA_ARGS__) __r; \
0460 BPF_CORE_READ_USER_INTO(&__r, (src), a, ##__VA_ARGS__); \
0461 __r; \
0462 })
0463
0464
0465 #define BPF_PROBE_READ(src, a, ...) ({ \
0466 ___type((src), a, ##__VA_ARGS__) __r; \
0467 BPF_PROBE_READ_INTO(&__r, (src), a, ##__VA_ARGS__); \
0468 __r; \
0469 })
0470
0471
0472
0473
0474
0475
0476
0477 #define BPF_PROBE_READ_USER(src, a, ...) ({ \
0478 ___type((src), a, ##__VA_ARGS__) __r; \
0479 BPF_PROBE_READ_USER_INTO(&__r, (src), a, ##__VA_ARGS__); \
0480 __r; \
0481 })
0482
0483 #endif
0484