// SPDX-License-Identifier: GPL-2.0 | |
/* Copyright (c) 2023 Meta Platforms, Inc. and affiliates. */ | |
#include <vmlinux.h> | |
#include <bpf/bpf_tracing.h> | |
#include <bpf/bpf_helpers.h> | |
#include "bpf_misc.h" | |
#include "nested_trust_common.h" | |
char _license[] SEC("license") = "GPL"; | |
SEC("tp_btf/task_newtask") | |
__success | |
int BPF_PROG(test_read_cpumask, struct task_struct *task, u64 clone_flags) | |
{ | |
bpf_cpumask_test_cpu(0, task->cpus_ptr); | |
return 0; | |
} |