CTX_H_AW_MASK
ce->hi &= ~(CTX_H_AW_MASK << CTX_H_AW_SHIFT);
ce->hi |= ((lvl & CTX_H_AW_MASK) << CTX_H_AW_SHIFT);
return VTD_LEVELTOAW((ce->hi >> CTX_H_AW_SHIFT) & CTX_H_AW_MASK);