/branches/arm/kernel/arch/arm32/include/mm/asid.h |
---|
42,9 → 42,9 |
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_get() ( ASID_START + 1 ) |
/* this works due to fact that this file is never included alone but only |
throught "generic/include/mm/asid.h" where ASID_START is defined |
*/ |
#define asid_put(asid) |