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

verif_stats.c (668B)

      1// SPDX-License-Identifier: GPL-2.0
      2/* Copyright (c) 2021 Facebook */
      3
      4#include <test_progs.h>
      5
      6#include "trace_vprintk.lskel.h"
      7
      8void test_verif_stats(void)
      9{
     10	__u32 len = sizeof(struct bpf_prog_info);
     11	struct trace_vprintk_lskel *skel;
     12	struct bpf_prog_info info = {};
     13	int err;
     14
     15	skel = trace_vprintk_lskel__open_and_load();
     16	if (!ASSERT_OK_PTR(skel, "trace_vprintk__open_and_load"))
     17		goto cleanup;
     18
     19	err = bpf_obj_get_info_by_fd(skel->progs.sys_enter.prog_fd, &info, &len);
     20	if (!ASSERT_OK(err, "bpf_obj_get_info_by_fd"))
     21		goto cleanup;
     22
     23	if (!ASSERT_GT(info.verified_insns, 0, "verified_insns"))
     24		goto cleanup;
     25
     26cleanup:
     27	trace_vprintk_lskel__destroy(skel);
     28}