simplifying the portalalloc driver