1,5 → 1,5 |
/* |
* Copyright (c) 2005 Martin Decky |
* Copyright (c) 2007 Pavel Jancik, Michal Kebrt |
* All rights reserved. |
* |
* Redistribution and use in source and binary forms, with or without |
30,6 → 30,9 |
* @{ |
*/ |
/** @file |
* @brief ASIDs related declarations. |
* |
* ARM CPUs doesn't support ASIDs. |
*/ |
|
#ifndef KERN_arm32_ASID_H_ |
37,10 → 40,18 |
|
#include <arch/types.h> |
|
#define ASID_MAX_ARCH 3 /* TODO */ |
#define ASID_MAX_ARCH 3 /* minimal required number */ |
|
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) |
|
#define asid_put(asid) |
|
#endif |
|
/** @} |