- (tPAddr)(&gStaticAllocPages[0] - KERNEL_BASE),
- (tPAddr)(&gStaticAllocPages[1] - KERNEL_BASE),
- (tPAddr)(&gStaticAllocPages[2] - KERNEL_BASE),
- (tPAddr)(&gStaticAllocPages[3] - KERNEL_BASE)
+ (tPAddr)(&gStaticAllocPages[0]) - KERNEL_BASE,
+ (tPAddr)(&gStaticAllocPages[1]) - KERNEL_BASE,
+ (tPAddr)(&gStaticAllocPages[2]) - KERNEL_BASE,
+ (tPAddr)(&gStaticAllocPages[3]) - KERNEL_BASE