a simple character device for portalalloc driver