00001 /* 00002 * Copyright (C) 2006 Jakub Jermar 00003 * All rights reserved. 00004 * 00005 * Redistribution and use in source and binary forms, with or without 00006 * modification, are permitted provided that the following conditions 00007 * are met: 00008 * 00009 * - Redistributions of source code must retain the above copyright 00010 * notice, this list of conditions and the following disclaimer. 00011 * - Redistributions in binary form must reproduce the above copyright 00012 * notice, this list of conditions and the following disclaimer in the 00013 * documentation and/or other materials provided with the distribution. 00014 * - The name of the author may not be used to endorse or promote products 00015 * derived from this software without specific prior written permission. 00016 * 00017 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 00018 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 00019 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 00020 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 00021 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 00022 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 00023 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 00024 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 00025 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 00026 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 00027 */ 00028 00035 /* 00036 * This is generic interface for managing 00037 * Address Space IDentifiers (ASIDs). 00038 */ 00039 00040 #ifndef __ASID_H__ 00041 #define __ASID_H__ 00042 00043 #ifndef __ASM__ 00044 00045 #include <arch/mm/asid.h> 00046 #include <typedefs.h> 00047 00048 #endif 00049 00050 #define ASID_KERNEL 0 00051 #define ASID_INVALID 1 00052 #define ASID_START 2 00053 #define ASID_MAX ASID_MAX_ARCH 00054 00055 #ifndef __ASM__ 00056 00057 #define ASIDS_ALLOCABLE ((ASID_MAX+1)-ASID_START) 00058 00059 extern spinlock_t asidlock; 00060 extern link_t as_with_asid_head; 00061 00062 #ifndef asid_get 00063 extern asid_t asid_get(void); 00064 #endif /* !def asid_get */ 00065 00066 #ifndef asid_put 00067 extern void asid_put(asid_t asid); 00068 #endif /* !def asid_put */ 00069 00070 #ifndef asid_install 00071 extern void asid_install(as_t *as); 00072 #endif /* !def asid_install */ 00073 00074 #ifndef asid_find_free 00075 extern asid_t asid_find_free(void); 00076 #endif /* !def asid_find_free */ 00077 00078 #ifndef asid_put_arch 00079 extern void asid_put_arch(asid_t asid); 00080 #endif /* !def asid_put_arch */ 00081 00082 #endif 00083 00084 #endif 00085 00086