Symbol: TDX_PS_4K
arch/x86/coco/tdx/tdx-shared.c
25
page_size = TDX_PS_4K;
arch/x86/virt/vmx/tdx/tdx.c
454
case TDX_PS_4K:
arch/x86/virt/vmx/tdx/tdx.c
527
for (pgsz = TDX_PS_4K; pgsz < TDX_PS_NR; pgsz++) {
arch/x86/virt/vmx/tdx/tdx.c
548
for (pgsz = TDX_PS_4K; pgsz < TDX_PS_NR; pgsz++) {
arch/x86/virt/vmx/tdx/tdx.c
553
tdmr->pamt_4k_base = pamt_base[TDX_PS_4K];
arch/x86/virt/vmx/tdx/tdx.c
554
tdmr->pamt_4k_size = pamt_size[TDX_PS_4K];