adding a debug ioctl command to portalalloc