Home
last modified time | relevance | path

Searched refs:TDX_PS_4K (Results 1 – 3 of 3) sorted by relevance

/linux-6.15/arch/x86/coco/tdx/
H A Dtdx-shared.c25 page_size = TDX_PS_4K; in try_accept_one()
/linux-6.15/arch/x86/virt/vmx/tdx/
H A Dtdx.c446 case TDX_PS_4K: in tdmr_get_pamt_sz()
519 for (pgsz = TDX_PS_4K; pgsz < TDX_PS_NR; pgsz++) { in tdmr_set_up_pamt()
540 for (pgsz = TDX_PS_4K; pgsz < TDX_PS_NR; pgsz++) { in tdmr_set_up_pamt()
545 tdmr->pamt_4k_base = pamt_base[TDX_PS_4K]; in tdmr_set_up_pamt()
546 tdmr->pamt_4k_size = pamt_size[TDX_PS_4K]; in tdmr_set_up_pamt()
/linux-6.15/arch/x86/include/asm/shared/
H A Dtdx.h104 #define TDX_PS_4K 0 macro