Searched refs:TDX_PS_4K (Results 1 – 3 of 3) sorted by relevance
307 TD_SYSINFO_MAP(PAMT_4K_ENTRY_SIZE, pamt_entry_size[TDX_PS_4K]),488 case TDX_PS_4K: in tdmr_get_pamt_sz()561 for (pgsz = TDX_PS_4K; pgsz < TDX_PS_NR; pgsz++) { in tdmr_set_up_pamt()582 for (pgsz = TDX_PS_4K; pgsz < TDX_PS_NR; pgsz++) { in tdmr_set_up_pamt()587 tdmr->pamt_4k_base = pamt_base[TDX_PS_4K]; in tdmr_set_up_pamt()588 tdmr->pamt_4k_size = pamt_size[TDX_PS_4K]; in tdmr_set_up_pamt()
25 page_size = TDX_PS_4K; in try_accept_one()
70 #define TDX_PS_4K 0 macro