/* If there were any type definitions local to the Memory Manager, they would * be here. This file is included only for symmetry with the kernel and File * System, which do have some local type definitions. */