Written code to allocate the PFN database (but untested)