00001 00008 /* (c) 2003 Technische Universitaet Dresden 00009 * This file is part of DROPS, which is distributed under the terms of the 00010 * GNU General Public License 2. Please see the COPYING file for details. */ 00011 00012 #ifndef __PAGER_H_ 00013 #define __PAGER_H_ 00014 00015 #include <l4/sys/types.h> 00016 #include "app.h" 00017 00018 extern l4_threadid_t app_pager_id; 00019 00020 int is_fiasco(void); 00021 int start_app_pager(void); 00022 l4_addr_t addr_app_to_here(app_t *app, l4_addr_t addr) fastcall; 00023 00024 #endif 00025