374,376c374,376
< Range<Addr> range = RangeEx(x86LocalAPICAddress(initialApicId, 0),
< x86LocalAPICAddress(initialApicId, 0) +
< PageBytes);
---
> AddrRange range = RangeEx(x86LocalAPICAddress(initialApicId, 0),
> x86LocalAPICAddress(initialApicId, 0) +
> PageBytes);