Searched refs:pamt_4k_base (Results 1 – 2 of 2) sorted by relevance
73 u64 pamt_4k_base; member
587 tdmr->pamt_4k_base = pamt_base[TDX_PS_4K]; in tdmr_set_up_pamt()606 pamt_bs = tdmr->pamt_4k_base; in tdmr_get_pamt()