150c150
< if (reqFlags.noneSet(Request::VPTE | Request::PREFETCH)) {
---
> if (reqFlags.noneSet(AlphaRequestFlags::VPTE | Request::PREFETCH)) {