26,21 → 26,21 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
|
/** @addtogroup xen32mm |
/** @addtogroup ia32xen_mm |
* @{ |
*/ |
/** @file |
* @ingroup xen32mm |
* @ingroup ia32xen_mm |
*/ |
|
/* |
* xen32 has no hardware support for address space identifiers. |
* ia32xen has no hardware support for address space identifiers. |
* This file is provided to do nop-implementation of mm/asid.h |
* interface. |
*/ |
|
#ifndef KERN_xen32_ASID_H_ |
#define KERN_xen32_ASID_H_ |
#ifndef KERN_ia32xen_ASID_H_ |
#define KERN_ia32xen_ASID_H_ |
|
typedef int asid_t; |
|