add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
5
6
7
8
9
10
// SPDX-License-Identifier: LGPL-2.1
 
#include <bpf.h>
 
static int (*bpf_get_current_pid_tgid)(void) = (void *)BPF_FUNC_get_current_pid_tgid;
 
static pid_t getpid(void)
{
    return bpf_get_current_pid_tgid();
}