Linux Contiguous Memory Allocator with an access function which allows gdb to access the mapped memory