Current: /usr/include/linux/tdx-guest.h

New name: