// SPDX-License-Identifier: GPL-2.0
/* Copyright (C) 2022 Linutronix GmbH */

#include <linux/bpf.h>
#include <bpf/bpf_helpers.h>

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

SEC("tc")
int time_tai(struct __sk_buff *skb)
{
	__u64 ts1, ts2;

	/* Get TAI timestamps */
	ts1 = bpf_ktime_get_tai_ns();
	ts2 = bpf_ktime_get_tai_ns();

	/* Save TAI timestamps (Note: skb->hwtstamp is read-only) */
	skb->tstamp = ts1;
	skb->cb[0] = ts2 & 0xffffffff;
	skb->cb[1] = ts2 >> 32;

	return 0;
}