Home
last modified time | relevance | path

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

/linux/arch/x86/coco/tdx/
H A Dtdx-shared.c25 page_size = TDX_PS_4K; in try_accept_one()
/linux/arch/x86/include/asm/shared/
H A Dtdx.h116 #define TDX_PS_4K 0 macro
/linux/arch/x86/virt/vmx/tdx/
H A Dtdx.c648 tdmr->pamt_4k_size = tdmr_get_pamt_sz(tdmr, TDX_PS_4K); in tdmr_set_up_pamt()