TDX_PS_NR
unsigned long pamt_base[TDX_PS_NR];
unsigned long pamt_size[TDX_PS_NR];
for (pgsz = TDX_PS_4K; pgsz < TDX_PS_NR; pgsz++) {
for (pgsz = TDX_PS_4K; pgsz < TDX_PS_NR; pgsz++) {
u16 pamt_entry_size[TDX_PS_NR] = {