Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 1888 → Rev 1952

/trunk/kernel/arch/ia32xen/include/mm/asid.h
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;