These helpers aren't really part of the kernel, and mem_map.cpp/h is
going to be moved there next.