#ifndef _KERNEL_SYS_MM_H
#define _KERNEL_SYS_MM_H

#if defined(__x86_64__)
  #include <amd64/mm.h>
#endif

#endif // _KERNEL_SYS_MM_H