/*
 *  MIPS Cache Manager Support
 */

#ifndef __MIPS_CACHE_h
#define __MIPS_CACHE_h

#include <libcpu/cache.h>

/* TBD */

#endif
/* end of include file */