31,6 → 31,8 |
*/ |
/** @file |
* @brief ASIDs related declarations. |
* |
* ARM CPUs doesn't support ASIDs. |
*/ |
|
#ifndef KERN_arm32_ASID_H_ |
43,10 → 45,11 |
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 |
throught "generic/include/mm/asid.h" where ASID_START is defined |
*/ |
|
#define asid_put(asid) |
|
#endif |