VTD_STRIDE_SHIFT
return BIT_ULL(VTD_PAGE_SHIFT + VTD_STRIDE_SHIFT * (level - 1));
for (i = 0; i < BIT_ULL(VTD_STRIDE_SHIFT);
#define VTD_STRIDE_MASK (((u64)-1) << VTD_STRIDE_SHIFT)