regions allocated with portalmem can now be viewed from gdb