cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

atomic_bounds.c (498B)

      1// SPDX-License-Identifier: GPL-2.0
      2#include <linux/bpf.h>
      3#include <bpf/bpf_helpers.h>
      4#include <bpf/bpf_tracing.h>
      5#include <stdbool.h>
      6
      7#ifdef ENABLE_ATOMICS_TESTS
      8bool skip_tests __attribute((__section__(".data"))) = false;
      9#else
     10bool skip_tests = true;
     11#endif
     12
     13SEC("fentry/bpf_fentry_test1")
     14int BPF_PROG(sub, int x)
     15{
     16#ifdef ENABLE_ATOMICS_TESTS
     17	int a = 0;
     18	int b = __sync_fetch_and_add(&a, 1);
     19	/* b is certainly 0 here. Can the verifier tell? */
     20	while (b)
     21		continue;
     22#endif
     23	return 0;
     24}