*init_pminfo (unsigned managed_size)
Initialize the pminfo section of the system page and set the number of elements in the managed storage array.