RTEMS 5.2
mm.h