A pinned memory allocator See also: allocator