On Mon, 2025-06-09 at 22:13 +0300, Kirill A. Shutemov wrote: > With Dynamic PAMT, the kernel no longer needs to allocate PAMT_4K on > boot, but instead must allocate a page bitmap. PAMTs are not allocated on boot, but when module gets initialized. So perhaps: "on boot" -> "when TDX module gets initialized"