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