Added PageFrameAllocator prototype