Re: [PATCH 1/2] x86/tdx: Extract GET_INFO call from get_cc_mask()

From: Dave Hansen
Date: Fri Oct 28 2022 - 11:43:28 EST


On 10/28/22 07:12, Kirill A. Shutemov wrote:
> + * information, TD attributes etc. More details about the ABI can be
> + * found in TDX Guest-Host-Communication Interface (GHCI), section
> + * 2.4.2 TDCALL [TDG.VP.INFO].

Folks, I thought we agreed long ago to stop putting section numbers in
these comments because they're not stable. Am I remembering this wrong?