From bdb2750e66f922ebfbcba7250add38e2c932c293 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alessandro=C2=A0Decina?= <alessandro.d@gmail.com>
Date: Sat, 16 Apr 2022 10:10:56 +0000
Subject: [PATCH] ebpf: inline write_record_header

This seems to help the verifier keep track of where we're writing into
LOG_BUF
---
 aya-log/ebpf/aya-log-ebpf/src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/aya-log/ebpf/aya-log-ebpf/src/lib.rs b/aya-log/ebpf/aya-log-ebpf/src/lib.rs
index 633fa52a..33210970 100644
--- a/aya-log/ebpf/aya-log-ebpf/src/lib.rs
+++ b/aya-log/ebpf/aya-log-ebpf/src/lib.rs
@@ -96,6 +96,7 @@ impl WriteToBuf for str {
 
 #[allow(clippy::result_unit_err)]
 #[doc(hidden)]
+#[inline(always)]
 pub fn write_record_header(
     buf: &mut [u8],
     target: &str,