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