TDX_PS_4K
page_size = TDX_PS_4K;
case TDX_PS_4K:
for (pgsz = TDX_PS_4K; pgsz < TDX_PS_NR; pgsz++) {
for (pgsz = TDX_PS_4K; pgsz < TDX_PS_NR; pgsz++) {
tdmr->pamt_4k_base = pamt_base[TDX_PS_4K];
tdmr->pamt_4k_size = pamt_size[TDX_PS_4K];