/branches/arm/kernel/arch/arm32/include/mm/asid.h |
---|
44,12 → 44,12 |
typedef uint8_t asid_t; |
/* |
* This works due to fact that this file is never included alone but only |
* through "generic/include/mm/asid.h" where ASID_START is defined. |
*/ |
#define asid_get() (ASID_START + 1) |
/* this works due to fact that this file is never included alone but only |
through "generic/include/mm/asid.h" where ASID_START is defined |
*/ |
#define asid_get() ( ASID_START + 1 ) |
#define asid_put(asid) |
#endif |