//kernel/trunk/arch/ppc32/include/mm/asid.h |
---|
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ppc32mm |
/** @addtogroup ppc32mm |
* @{ |
*/ |
/** @file |
35,15 → 35,13 |
#ifndef __ppc32_ASID_H__ |
#define __ppc32_ASID_H__ |
typedef int asid_t; |
#include <arch/types.h> |
#define ASID_MAX_ARCH 3 |
#define ASID_MAX_ARCH 4096 |
#define asid_get() (ASID_START+1) |
#define asid_put(asid) |
typedef __u32 asid_t; |
#endif |
/** @} |
/** @} |
*/ |