/branches/arm/kernel/arch/arm32/include/mm/asid.h |
---|
37,10 → 37,17 |
#include <arch/types.h> |
#define ASID_MAX_ARCH 3 /* TODO */ |
#define ASID_MAX_ARCH 3 /* minimal required number */ |
typedef uint8_t asid_t; |
#define asid_get() ( ASID_START + 1 ) |
/* this works due to that this file is never included alone but only throught |
"generic/include/mm/asid.h" where ASID_START is defined |
*/ |
#define asid_put(asid) |
#endif |
/** @} |