// SPDX-License-Identifier: GPL-2.0
#include "vmlinux.h"
#include <bpf/bpf_helpers.h>

/*
 * A single initialized global, so the generated loader has one internal
 * (.data) map that it seeds with an initial value while loading.
 * prog_tests/signed_loader.c uses this to check that a signed loader
 * keeps the attested contents and ignores a ctx-supplied initial_value:
 * the host cannot re-seed a signed program's maps through the loader ctx.
 */
__u64 magic = 0x5eed1234abad1deaULL;

SEC("socket")
int probe(void *ctx)
{
	return (int)magic;
}

char _license[] SEC("license") = "GPL";