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 __FPROV_IF_H_ 00013 #define __FPROV_IF_H_ 00014 00015 #include <l4/l4rm/l4rm.h> 00016 00017 int load_file(const char *fname, l4_threadid_t fprov_id, l4_threadid_t dsm_id, 00018 const char *search_path, int contiguous, 00019 l4_addr_t *addr, l4_size_t *size, l4dm_dataspace_t *ds); 00020 00021 #endif 00022