fixing spacing on disk.h
fixing spacing on mem_man.h
fixing spacing on proc.h
fixing spacing on types.h
fixing spacing on util.h
Allocate and free virtual space in mem_man