* kernel/memory/portdat_memory.h:
* kernel/memory/alloc.c: comments
* kernel/memory/pool.c:
* kernel/concurrency/portdat_concurrency.h:
* kernel/memory/: comments