#ifndef __MMU_H
  #define __MMU_H
  
  /* Default "unsigned long" context */
  typedef unsigned long mm_context_t;
  
  /* mm/srmmu.c */
  extern ctxd_t *srmmu_ctx_table_phys;
  
  #endif