Searched refs:VTD_PAGE_SHIFT_4K (Results 1 – 2 of 2) sorted by relevance
447 #define VTD_PAGE_SHIFT_4K 12 macro448 #define VTD_PAGE_MASK_4K (~((1ULL << VTD_PAGE_SHIFT_4K) - 1))
290 return VTD_PAGE_SHIFT_4K + (level - 1) * VTD_SL_LEVEL_BITS; in vtd_slpt_level_shift()303 uint64_t gfn = (info->addr >> VTD_PAGE_SHIFT_4K) & info->mask; in vtd_hash_remove_by_page()304 uint64_t gfn_tlb = (info->addr & entry->mask) >> VTD_PAGE_SHIFT_4K; in vtd_hash_remove_by_page()352 return (addr & vtd_slpt_level_page_mask(level)) >> VTD_PAGE_SHIFT_4K; in vtd_get_iotlb_gfn()