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 00042 #include <genarch/mm/asid_fifo.h> 00043 #include <arch/mm/asid.h> 00044 #include <mm/asid.h> 00045 #include <typedefs.h> 00046 #include <adt/fifo.h> 00047 00048 #define FIFO_STATIC_LIMIT 1024 00049 #define FIFO_STATIC (ASIDS_ALLOCABLE<FIFO_STATIC_LIMIT) 00050 00055 #if FIFO_STATIC 00056 FIFO_INITIALIZE_STATIC(free_asids, asid_t, ASIDS_ALLOCABLE); 00057 #else 00058 FIFO_INITIALIZE_DYNAMIC(free_asids, asid_t, ASIDS_ALLOCABLE); 00059 #endif 00060 00062 void asid_fifo_init(void) 00063 { 00064 int i; 00065 00066 #if (!FIFO_STATIC) 00067 fifo_create(free_asids); 00068 #endif 00069 00070 for (i = 0; i < ASIDS_ALLOCABLE; i++) { 00071 fifo_push(free_asids, ASID_START + i); 00072 } 00073 } 00074 00081 asid_t asid_find_free(void) 00082 { 00083 return fifo_pop(free_asids); 00084 } 00085 00092 void asid_put_arch(asid_t asid) 00093 { 00094 fifo_push(free_asids, asid); 00095 } 00096