#ifndef __ARM_MMU_H
#define __ARM_MMU_H

/*
 * The ARM doesn't have a mmu context
 */
typedef struct { } mm_context_t;

#endif