...

/usr/share/cagefs-skeleton/usr/include/linux/tdx-guest.h