Home
last modified time | relevance | path

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

/arch/x86/coco/tdx/
A Dtdx-shared.c25 page_size = TDX_PS_4K; in try_accept_one()
/arch/x86/include/asm/shared/
A Dtdx.h114 #define TDX_PS_4K 0 macro
/arch/x86/virt/vmx/tdx/
A Dtdx.c453 case TDX_PS_4K: in tdmr_get_pamt_sz()
526 for (pgsz = TDX_PS_4K; pgsz < TDX_PS_NR; pgsz++) { in tdmr_set_up_pamt()
547 for (pgsz = TDX_PS_4K; pgsz < TDX_PS_NR; pgsz++) { in tdmr_set_up_pamt()
552 tdmr->pamt_4k_base = pamt_base[TDX_PS_4K]; in tdmr_set_up_pamt()
553 tdmr->pamt_4k_size = pamt_size[TDX_PS_4K]; in tdmr_set_up_pamt()

Completed in 10 milliseconds