/*
Note: This file is licenced differently from the rest of the project
SPDX-License-Identifier: GPL-2.0
Copyright (C) UP9 Inc.
*/

#ifndef __HEADERS__
#define __HEADERS__

#include <stddef.h>

#include "target_arch.h"
#include "vmlinux_x86.h"
#include "vmlinux_arm64.h"

#include "legacy_kernel.h"

#include <bpf/bpf_helpers.h>
#include <bpf/bpf_tracing.h>
#include <bpf/bpf_core_read.h>

#endif /* __HEADERS__ */